From 1cfa7dd33ef3f02b2cb9b26021b8d4cc209d0787 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Fri, 23 Feb 2024 15:11:46 +0100
Subject: [PATCH] Funny typo.

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 2112b9b..f4f3ed6 100644
--- a/index.html
+++ b/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/"