|
|
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
hal-01780544v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Symbolic Analysis of Identity-Based Protocols
David Basin
,
Lucca Hirschi
,
Ralf Sasse
Chapitre d'ouvrage
hal-02368842v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol
Alexandre Debant
,
Lucca Hirschi
2023
Pré-publication, Document de travail
hal-03875463v3
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Verification of Stateful Cryptographic Protocols with Exclusive OR
Jannik Dreier
,
Lucca Hirschi
,
Saša Radomirović
,
Ralf Sasse
Article dans une revue
hal-02358878v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Security Issues in the 5G Standard and How Formal Methods Come to the Rescue
Lucca Hirschi
,
Ralf Sasse
,
Jannik Dreier
ERCIM News, 2019
Article dans une revue
hal-02268822v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
New Privacy Threat on 3G, 4G, and Upcoming 5G AKA Protocols
Ravishankar Borgaonkar
,
Lucca Hirschi
,
Shinjo Park
,
Altaf Shaik
Article dans une revue
hal-02368896v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Symbolic Abstractions for Quantum Protocol Verification
Lucca Hirschi
2020
Pré-publication, Document de travail
hal-02391308v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Fixing the Achilles Heel of E-Voting: The Bulletin Board
Lucca Hirschi
,
Lara Schmid
,
David Basin
Communication dans un congrès
hal-03488741v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Reduced Semantics for Deciding Trace Equivalence
Stéphanie Delaune
,
David Baelde
,
Lucca Hirschi
Article dans une revue
hal-01906639v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Towards Completeness via Proof Search in the Linear Time mu-Calculus
Amina Doumane
,
David Baelde
,
Lucca Hirschi
,
Alexis Saurin
2016
Pré-publication, Document de travail
hal-01275289v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A method for unbounded verification of privacy-type properties
Lucca Hirschi
,
David Baelde
,
Stéphanie Delaune
Article dans une revue
hal-02368832v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols
David Baelde
,
Stéphanie Delaune
,
Lucca Hirschi
Logiciel
hal-01821474v2
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
Stéphanie Delaune
,
Lucca Hirschi
Article dans une revue
hal-01906634v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
POR for Security Protocol Equivalences: Beyond Action-Determinism
David Baelde
,
Stéphanie Delaune
,
Lucca Hirschi
Chapitre d'ouvrage
hal-02390219v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|