Lucca Hirschi

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