Lucca Hirschi

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 33

Top Venues

CoRR

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

J. Comput. Secur.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Véronique Cortier, Alexandre Debant, Anselme Goetschmann, Lucca Hirschi
Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility. IACR Cryptol. ePrint Arch. 2024 (2024)
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. IACR Cryptol. ePrint Arch. 2024 (2024)
Véronique Cortier, Alexandre Debant, Anselme Goetschmann, Lucca Hirschi
Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility. USENIX Security Symposium (2024)
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. USENIX Security Symposium (2023)
Max Ammann, Lucca Hirschi, Steve Kremer
DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing. IACR Cryptol. ePrint Arch. 2023 (2023)
Alexandre Debant, Lucca Hirschi
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol. USENIX Security Symposium (2023)
Alexandre Debant, Lucca Hirschi
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol. IACR Cryptol. ePrint Arch. 2022 (2022)
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. IACR Cryptol. ePrint Arch. 2022 (2022)
Lucca Hirschi, Lara Schmid, David A. Basin
Fixing the Achilles Heel of E-Voting: The Bulletin Board. CSF (2021)
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
Verification of stateful cryptographic protocols with exclusive OR. J. Comput. Secur. 28 (1) (2020)
Lucca Hirschi, Lara Schmid, David A. Basin
Fixing the Achilles Heel of E-Voting: The Bulletin Board. IACR Cryptol. ePrint Arch. 2020 (2020)
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. USENIX Security Symposium (2020)
Ravishankar Borgaonkar, Lucca Hirschi, Shinjo Park, Altaf Shaik
New Privacy Threat on 3G, 4G, and Upcoming 5G AKA Protocols. Proc. Priv. Enhancing Technol. 2019 (3) (2019)
David A. Basin, Lucca Hirschi, Ralf Sasse
Symbolic Analysis of Identity-Based Protocols. Foundations of Security, Protocols, and Equational Reasoning (2019)
Lucca Hirschi, David Baelde, Stéphanie Delaune
A method for unbounded verification of privacy-type properties. J. Comput. Secur. 27 (3) (2019)
Lucca Hirschi, Cas Cremers
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions. EuroS&P (2019)
Lucca Hirschi
Symbolic Abstractions for Quantum Protocol Verification. CoRR (2019)
Lucca Hirschi, Ralf Sasse, Jannik Dreier
Security Issues in the 5G Standard and How Formal Methods Come to the Rescue. ERCIM News 2019 (117) (2019)
David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
Formal Analysis of 5G Authentication. CoRR (2018)
David Baelde, Stéphanie Delaune, Lucca Hirschi
POR for Security Protocol Equivalences - Beyond Action-Determinism. ESORICS (1) (2018)
David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
A Formal Analysis of 5G Authentication. CCS (2018)
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. CSF (2018)
David Baelde, Stéphanie Delaune, Lucca Hirschi
POR for Security Protocol Equivalences: Beyond Action-Determinism. CoRR (2018)
Ravishankar Borgaonkar, Lucca Hirschi, Shinjo Park, Altaf Shaik
New Privacy Threat on 3G, 4G, and Upcoming 5G AKA Protocols. IACR Cryptol. ePrint Arch. 2018 (2018)
David Baelde, Stéphanie Delaune, Lucca Hirschi
A Reduced Semantics for Deciding Trace Equivalence. CoRR (2017)
David Baelde, Stéphanie Delaune, Lucca Hirschi
A Reduced Semantics for Deciding Trace Equivalence. Log. Methods Comput. Sci. 13 (2) (2017)
Cas Cremers, Lucca Hirschi
Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy. CoRR (2017)
Lucca Hirschi, David Baelde, Stéphanie Delaune
A method for unbounded verification of privacy-type properties. CoRR (2017)
Piers O'Hanlon, Ravishankar Borgaonkar, Lucca Hirschi
Mobile Subscriber WiFi Privacy. IEEE Symposium on Security and Privacy Workshops (2017)
Stéphanie Delaune, Lucca Hirschi
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. J. Log. Algebraic Methods Program. 87 (2017)
Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin
Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Büchi inclusions. LICS (2016)
Stéphanie Delaune, Lucca Hirschi
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. CoRR (2016)
Lucca Hirschi, David Baelde, Stéphanie Delaune
A Method for Verifying Privacy-Type Properties: The Unbounded Case. IEEE Symposium on Security and Privacy (2016)
David Baelde, Stéphanie Delaune, Lucca Hirschi
Partial Order Reduction for Security Protocols. CoRR (2015)
David Baelde, Stéphanie Delaune, Lucca Hirschi
Partial Order Reduction for Security Protocols. CONCUR (2015)
David Baelde, Stéphanie Delaune, Lucca Hirschi
A reduced semantics for deciding trace equivalence using constraint systems. CoRR (2014)
David Baelde, Stéphanie Delaune, Lucca Hirschi
A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems. POST (2014)

Lucca Hirschi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lucca Hirschi