Quote fix.

index.html

@@ -214,12 +214,12 @@ <h4>Papers on Tamarin and its theory - theses</h4>
       <h4>Tamarin Extensions</h4>
       <ul class="list">
         <li> "Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses" <a
-            href=”https://eprint.iacr.org/2022/1314.pdf” target="_blank">[PDF]</a>, by Vincent Cheval, Cas Cremers,
+            href="https://eprint.iacr.org/2022/1314.pdf" target="_blank">[PDF]</a>, by Vincent Cheval, Cas Cremers,
           Alexander Dax, Lucca Hirschi, Charlie Jacomme, and Steve Kremer, presented at <a
             href="https://www.usenix.org/conference/usenixsecurity23/glance">USENIX 2023</a>.
         </li>
         <li> "Subterm-based proof techniques for improving the automation and scope of security protocol analysis" <a
-            href=”https://eprint.iacr.org/2022/1130.pdf” target="_blank">[PDF]</a>, by Cas Cremers, Charlie Jacomme, and
+            href="https://eprint.iacr.org/2022/1130.pdf" target="_blank">[PDF]</a>, by Cas Cremers, Charlie Jacomme, and
           Philip Lukert, presented at <a href="https://csf2023.ieee-security.org/program.html">IEEE CSF 2023</a>.
         </li>
         <li>"Seems Legit: Automated Analysis of Subtle Attacks on Protocols that use Signatures" <a
@@ -286,19 +286,19 @@ <h4>Tamarin Extensions - student theses</h4>
       <h4>Papers using Tamarin</h4>
       <ul class="list">
         <li> "Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations"
-          <a href=”https://eprint.iacr.org/2022/1710.pdf” target="_blank">[PDF]</a>, by Cas Cremers, Charlie Jacomme,
+          <a href="https://eprint.iacr.org/2022/1710.pdf" target="_blank">[PDF]</a>, by Cas Cremers, Charlie Jacomme,
           and Aurora Naska, presented at <a href="https://www.usenix.org/conference/usenixsecurity23/glance">USENIX
             2023</a>.
         </li>
 
         <li> "Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact
-          Protocol Security" <a href=”https://inria.hal.science/hal-04126116” target="_blank">[PDF]</a>, by Cas Cremers,
+          Protocol Security" <a href="https://inria.hal.science/hal-04126116" target="_blank">[PDF]</a>, by Cas Cremers,
           Alexander Dax, Charlie Jacomme, and Mang Zhao, presented at <a
             href="https://www.usenix.org/conference/usenixsecurity23/glance">USENIX 2023</a>.
         </li>
 
         <li> "Formal Analysis of SPDM: Security Protocol and Data Model version 1.2" <a
-            href=”https://eprint.iacr.org/2022/1724.pdf” target="_blank">[PDF]</a>, by Cas Cremers, Alexander Dax, and
+            href="https://eprint.iacr.org/2022/1724.pdf" target="_blank">[PDF]</a>, by Cas Cremers, Alexander Dax, and
           Aurora Naska, presented at <a href="https://www.usenix.org/conference/usenixsecurity23/glance">USENIX
             2023</a>.
         </li>