Lucca Hirschi

27
Documents
Affiliations actuelles
  • Centre Inria de l'Université de Lorraine
  • Laboratoire Spécification et Vérification [Cachan] (LSV)
Identifiants chercheurs
Contact

Publications

Publications

Image document

A Comprehensive Formal Security Analysis of OPC UA

Vincent Diemunsch , Lucca Hirschi , Steve Kremer
Usenix Security 2025, 2025, Seattle (USA), Washington, United States
Communication dans un congrès hal-04989554 v1
Image document

DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing

Max Ammann , Lucca Hirschi , Steve Kremer
45th IEEE Symposium on Security and Privacy, 2024, San Francisco (CA, USA), United States
Communication dans un congrès hal-04318710 v2
Image document

Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility

Véronique Cortier , Alexandre Debant , Anselme Goetschmann , Lucca Hirschi
USENIX Security Symposium, Aug 2024, Philadelphie (USA), United States
Communication dans un congrès hal-04764478 v1
Image document

Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses

Vincent Cheval , Cas Cremers , Alexander Dax , Lucca Hirschi , Charlie Jacomme et al.
32nd USENIX Security Symposium, Aug 2023, Anaheim, United States
Communication dans un congrès hal-03795715 v1
Image document

Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol

Alexandre Debant , Lucca Hirschi
USENIX Security 2023, Aug 2023, Anaheim, United States
Communication dans un congrès hal-04323674 v1
Image document

Fixing the Achilles Heel of E-Voting: The Bulletin Board

Lucca Hirschi , Lara Schmid , David Basin
CSF 2021 - 34th IEEE Computer Security Foundations Symposium, Jun 2021, Dubrovnik/Virtual, Croatia. pp.1-17, ⟨10.1109/CSF51468.2021.00016⟩
Communication dans un congrès hal-03488741 v1
Image document

A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols

Guillaume Girol , Lucca Hirschi , Ralf Sasse , Dennis Jackson , Cas Cremers et al.
USENIX 2020 - 29th Usenix Security Symposium, Aug 2020, Virtual, United States
Communication dans un congrès hal-03103869 v1
Image document

Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions

Lucca Hirschi , Cas Cremers
EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.635-650, ⟨10.1109/EuroSP.2019.00052⟩
Communication dans un congrès hal-02368857 v1
Image document

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

Jannik Dreier , Lucca Hirschi , Sasa Radomirovic , Ralf Sasse
CSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00033⟩
Communication dans un congrès hal-01780603 v1

POR for Security Protocol Equivalences - Beyond Action-Determinism

Stéphanie Delaune , David Baelde , Lucca Hirschi
Computer Security - 23rd European Symposium on Research in Computer Security, 2018, Barcelone, Spain
Communication dans un congrès hal-01906651 v1
Image document

A Formal Analysis of 5G Authentication

David Basin , Jannik Dreier , Lucca Hirschi , Saša Radomirovic , Ralf Sasse et al.
ACM CCS 2018 - 25th ACM Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. ⟨10.1145/3243734.3243846⟩
Communication dans un congrès hal-01898050 v1
Image document

Le traçage anonyme, dangereux oxymore

Xavier Bonnetain , Anne Canteaut , Véronique Cortier , Pierrick Gaudry , Lucca Hirschi et al.
Le droit face au coronavirus, LexisNexis, pp.468--480, 2021, 9782711036394
Chapitre d'ouvrage hal-02997228 v1
Image document

Symbolic Analysis of Identity-Based Protocols

David Basin , Lucca Hirschi , Ralf Sasse
Springer. Foundations of Security, Protocols, and Equational Reasoning, Springer (11565), pp.112-134, 2019, LNCS, ⟨10.1007/978-3-030-19052-1_9⟩
Chapitre d'ouvrage hal-02368842 v1
Image document

POR for Security Protocol Equivalences: Beyond Action-Determinism

David Baelde , Stéphanie Delaune , Lucca Hirschi
ESORICS, pp.385-405, 2018, ⟨10.1007/978-3-319-99073-6_19⟩
Chapitre d'ouvrage hal-02390219 v1
Image document

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR (Extended Version)

Jannik Dreier , Lucca Hirschi , Sasa Radomirovic , Ralf Sasse
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; ETH Zurich, Switzerland; University of Dundee. 2018
Rapport (rapport de recherche) hal-01780544 v1