Biblio

Export 3 results:
Filters: Author is Lucca Hirschi  [Clear All Filters]
2023
Cheval V, Cremers C, Dax A, Hirschi L, Jacomme C, Kremer S.  2023.  Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. 32nd USENIX Security Symposium (USENIX Security 23). :5899--5916.
Debant A, Hirschi L.  2023.  Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol. 32nd USENIX Security Symposium (USENIX Security 23). :6737--6752.
2020
Girol G, Hirschi L, Sasse R, Jackson D, Cremers C, Basin D.  2020.  A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. 29th USENIX Security Symposium (USENIX Security 20). :1857--1874.