A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems. - David Baelde; Stéphanie Delaune; Lucca Hirschi (POST, 2014)

Partial Order Reduction for Security Protocols. - David Baelde; Stéphanie Delaune; Lucca Hirschi (CONCUR, 2015)

Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Büchi inclusions. - Amina Doumane; David Baelde; Lucca Hirschi; Alexis Saurin (LICS, 2016)

A Method for Verifying Privacy-Type Properties: The Unbounded Case. - Lucca Hirschi; David Baelde; Stéphanie Delaune (IEEE Symposium on Security and Privacy, 2016)

Mobile Subscriber WiFi Privacy. - Piers O'Hanlon; Ravishankar Borgaonkar; Lucca Hirschi (IEEE Symposium on Security and Privacy Workshops, 2017)

Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy. - Cas Cremers; Lucca Hirschi (CoRR, 2017)

A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. - Stéphanie Delaune; Lucca Hirschi (J. Log. Algebraic Methods Program., 2017)

A Reduced Semantics for Deciding Trace Equivalence. - David Baelde; Stéphanie Delaune; Lucca Hirschi (Log. Methods Comput. Sci., 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)

A Formal Analysis of 5G Authentication. - David A. Basin; Jannik Dreier; Lucca Hirschi; Sasa Radomirovic; Ralf Sasse; Vincent Stettler (CCS, 2018)

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. - Jannik Dreier; Lucca Hirschi; Sasa Radomirovic; Ralf Sasse (CSF, 2018)

POR for Security Protocol Equivalences - Beyond Action-Determinism. - David Baelde; Stéphanie Delaune; Lucca Hirschi (ESORICS (1), 2018)

Symbolic Analysis of Identity-Based Protocols. - David A. Basin; Lucca Hirschi; Ralf Sasse (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions. - Lucca Hirschi; Cas Cremers (EuroS&P, 2019)

Symbolic Abstractions for Quantum Protocol Verification. - Lucca Hirschi (CoRR, 2019)

Security Issues in the 5G Standard and How Formal Methods Come to the Rescue. - Lucca Hirschi; Ralf Sasse; Jannik Dreier (ERCIM News, 2019)

A method for unbounded verification of privacy-type properties. - Lucca Hirschi; David Baelde; Stéphanie Delaune (J. Comput. Secur., 2019)

New Privacy Threat on 3G, 4G, and Upcoming 5G AKA Protocols. - Ravishankar Borgaonkar; Lucca Hirschi; Shinjo Park; Altaf Shaik (Proc. Priv. Enhancing Technol., 2019)

Fixing the Achilles Heel of E-Voting: The Bulletin Board. - Lucca Hirschi; Lara Schmid; David A. Basin (IACR Cryptol. ePrint Arch., 2020)

Verification of stateful cryptographic protocols with exclusive OR. - Jannik Dreier; Lucca Hirschi; Sasa Radomirovic; Ralf Sasse (J. Comput. Secur., 2020)

Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. - Vincent Cheval; Cas Cremers; Alexander Dax; Lucca Hirschi; Charlie Jacomme; Steve Kremer (IACR Cryptol. ePrint Arch., 2022)

Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol. - Alexandre Debant; Lucca Hirschi (IACR Cryptol. ePrint Arch., 2022)

DY Fuzzing: Formal Dolev-Yao Models Meet Protocol Fuzz Testing. - Max Ammann; Lucca Hirschi; Steve Kremer (IACR Cryptol. ePrint Arch., 2023)

DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing. - Max Ammann; Lucca Hirschi; Steve Kremer (SP, 2024)

Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility. - Véronique Cortier; Alexandre Debant; Anselme Goetschmann; Lucca Hirschi (IACR Cryptol. ePrint Arch., 2024)

A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. - Guillaume Girol; Lucca Hirschi; Ralf Sasse; Dennis Jackson; Cas Cremers; David A. Basin (IACR Cryptol. ePrint Arch., 2024)

A Comprehensive Formal Security Analysis of OPC UA. - Vincent Diemunsch; Lucca Hirschi; Steve Kremer (IACR Cryptol. ePrint Arch., 2025)