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

Deposit thumbnail

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-04989554v1
Deposit thumbnail

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-04318710v2
Deposit thumbnail

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-04764478v1
Deposit thumbnail

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-03795715v1
Deposit thumbnail

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-04323674v1
Deposit thumbnail

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-03488741v1
Deposit thumbnail

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-03103869v1
Deposit thumbnail

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-02368857v1
Deposit thumbnail

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-01780603v1

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-01906651v1
Deposit thumbnail

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-01898050v1
Deposit thumbnail

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-02997228v1
Deposit thumbnail

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-02368842v1
Deposit thumbnail

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-02390219v1
Deposit thumbnail

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-01780544v1