Lucca Hirschi

According to our database, Lucca Hirschi authored at least 26 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

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

Max Ammann, Lucca Hirschi, Steve Kremer

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023

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

Max Ammann, Lucca Hirschi, Steve Kremer

IACR Cryptol. ePrint Arch., 2023

2022

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

Alexandre Debant, Lucca Hirschi

IACR Cryptol. ePrint Arch., 2022

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

2020

Verification of stateful cryptographic protocols with exclusive OR.

Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse

J. Comput. Secur., 2020

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

Lucca Hirschi, Lara Schmid, David A. Basin

IACR Cryptol. ePrint Arch., 2020

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

A method for unbounded verification of privacy-type properties.

Lucca Hirschi, David Baelde, Stéphanie Delaune

J. Comput. Secur., 2019

Security Issues in the 5G Standard and How Formal Methods Come to the Rescue.

Lucca Hirschi, Ralf Sasse, Jannik Dreier

ERCIM News, 2019

Symbolic Abstractions for Quantum Protocol Verification.

Lucca Hirschi

CoRR, 2019

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

Lucca Hirschi, Cas Cremers

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

Symbolic Analysis of Identity-Based Protocols.

David A. Basin, Lucca Hirschi, Ralf Sasse

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

POR for Security Protocol Equivalences - Beyond Action-Determinism.

David Baelde, Stéphanie Delaune, Lucca Hirschi

Proceedings of the Computer Security, 2018

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR.

Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

A Formal Analysis of 5G Authentication.

David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

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

PhD thesis, 2017

A Reduced Semantics for Deciding Trace Equivalence.

David Baelde, Stéphanie Delaune, Lucca Hirschi

Log. Methods Comput. Sci., 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

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

Cas Cremers, Lucca Hirschi

CoRR, 2017

Mobile Subscriber WiFi Privacy.

Piers O'Hanlon, Ravishankar Borgaonkar, Lucca Hirschi

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

2016

A Method for Verifying Privacy-Type Properties: The Unbounded Case.

Lucca Hirschi, David Baelde, Stéphanie Delaune

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Büchi inclusions.

Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Partial Order Reduction for Security Protocols.

David Baelde, Stéphanie Delaune, Lucca Hirschi

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems.

David Baelde, Stéphanie Delaune, Lucca Hirschi

Proceedings of the Principles of Security and Trust - Third International Conference, 2014