Publications of the IA chair ASAP
• 2026 • 2025 • 2024 • 2023 • 2022 •
2026
- Jannik Dreier, Elise Klein, and Steve Kremer. Tamarin Unchained: Handling User-Defined AC Operators. In Proceedings of the 39th IEEE Computer Security Foundations Symposium (CSF'26), IEEE Computer Society Press, Lisbon, Portugal, July 2026.
Details BibTeX Download: [pdf] [pdf (long version)]
2025
- Vincent Diemunsch, Lucca Hirschi, and Steve Kremer. A Comprehensive Formal Security Analysis of OPC UA. In 34th USENIX Security Symposium (USENIX Security'25), USENIX Association, Seattle, WA, USA, August 2025.
Details BibTeX Download: [pdf] [pdf (long version)]
2024
- Max Ammann, Lucca Hirschi, and Steve Kremer. DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing. In Proceedings of the 45th IEEE Symposium on Security and Privacy (S&P'24), IEEE Computer Society Press, San Francisco, CA, USA, May 2024.
doi:10.1109/SP54263.2024.00096
Details BibTeX Download: [pdf] [pdf (long version)] [HTML] - Vincent Cheval, Steve Kremer, and Itsaka Rakotonirina. DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice. TheoretiCS, 3, 2024.
doi:10.46298/theoretics.24.4
Details BibTeX Download: [pdf] [HTML] - Véronique Cortier, Alexandre Debant, Anselme Goestchmann, and Lucca Hirschi. Election Eligibility with OpenID:Turning Authentication into Transferable Proof of Eligibility. In 33rd USENIX Security Symposium (Usenix'24), 2024.
Details BibTeX Download: [pdf (long version)] - Véronique Cortier, Pierrick Gaudry, Anselme Goetschmann, and Sophie Lemonnier. Belenios with cast-as-intended: towards a usable interface. In EVote-ID 2024 - 9th International Joint Conference on Electronic Voting, Springer, Terragona, Spain, 2024.
Details BibTeX Download: [pdf]
2023
- Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, and Steve Kremer. Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. In 32nd USENIX Security Symposium (USENIX Security'23), USENIX Association, Anaheim, CA, USA, August 2023. Distinguished paper award.
Details BibTeX Download: [pdf] [pdf (long version)] - Vincent Cheval, Raphaëlle Crubillé, and Steve Kremer. Symbolic protocol verification with dice --- process equivalences in the presence of probabilities. Journal of Computer Security, pp. 1–38, 2023.
doi:10.3233/JCS-230037
Details BibTeX Download: [pdf] [HTML] - Véronique Cortier, Alexandre Debant, and Vincent Cheval. Election Verifiability with ProVerif. In 36th IEEE Computer Security Foundations Symposium (CSF'23), Dubrovnik, Croatia, July 2023.
Details BibTeX Download: [pdf] - Alexandre Debant and Lucca Hirschi. Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol. In 32nd USENIX Security Symposium (USENIX Security'23), USENIX Association, Anaheim, CA, USA, August 2023. CNIL-Inria 2023 Data Protection Award.
Details BibTeX Download: [pdf] - Charlie Jacomme, Steve Kremer, Elise Klein, and Maïwenn Racouchot. A comprehensive, formal and automated analysis of the EDHOC protocol. In 32nd USENIX Security Symposium (USENIX Security'23), USENIX Association, Anaheim, CA, USA, August 2023.
Details BibTeX Download: [pdf]
2022
- Bruno Blanchet, Vincent Cheval, and Véronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More. In Proceedings of the 42nd IEEE Symposium on Security and Privacy (S&P'22), IEEE Computer Society Press, 2022.
doi:10.1109/SP.2017.28
Details BibTeX Download: [pdf] [pdf (long version)] [HTML] - Vincent Cheval, Raphaëlle Crubillé, and Steve Kremer. Symbolic protocol verification with dice: process equivalences in the presence of probabilities. In Proceedings of the 35th IEEE Computer Security Foundations Symposium (CSF'22), pp. 303–318, IEEE Computer Society Press, Haifa, Israel, August 2022.
doi:10.1109/CSF54842.2022.00020
Details BibTeX Download: [pdf] [pdf (long version)] [HTML] - Vincent Cheval, Charlie Jacomme, Steve Kremer, and Robert Künnemann. Sapic+ : protocol verifiers of the world, unite!. In 31st USENIX Security Symposium (USENIX Security'22), pp. 3935–3952, USENIX Association, Boston, USA, August 2022.
Details BibTeX Download: [pdf (long version)] - Véronique Cortier, Alexandre Debant, and Pierrick Gaudry. A privacy attack on the Swiss Post e-voting system. In Real World Crypto Symposium (RWC'22), Amsterdam, Netherlands, 2022.
Details BibTeX Download: [pdf]