Funny typo.

index.html

@@ -333,7 +333,7 @@ <h4>Papers using Tamarin</h4>
         </li>
         <li>"A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols" <a
             href="https://cispa.saarland/group/cremers/downloads/papers/Noise-Usenix2020.pdf" target="_blank">[PDF]</a>,
-          by Guillaume Girol, Lucca Hirschi, Ralf Sassse, Dennis Jackson, Cas Cremers, and David Basin, presented at <a
+          by Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, and David Basin, presented at <a
             href="https://www.usenix.org/conference/usenixsecurity20">USENIX 2020</a>.
         </li>
         <li>"A Symbolic Analysis of ECC-based Direct Anonymous Attestation" <a href="http://epubs.surrey.ac.uk/851685/"