Lucca Hirschi
27
Documents
Affiliations actuelles
- Centre Inria de l'Université de Lorraine
- Laboratoire Spécification et Vérification [Cachan] (LSV)
Identifiants chercheurs
Publications
Publications
|
|
Réponse au projet de mise à jour de la recommandation de la CNIL sur le vote électronique2025
Autre publication scientifique
hal-04971713
v2
|
|
|
A Comprehensive Formal Security Analysis of OPC UAUsenix Security 2025, 2025, Seattle (USA), Washington, United States
Communication dans un congrès
hal-04989554
v1
|
|
|
DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing45th IEEE Symposium on Security and Privacy, 2024, San Francisco (CA, USA), United States
Communication dans un congrès
hal-04318710
v2
|
|
|
Election Eligibility with OpenID: Turning Authentication into Transferable Proof of EligibilityUSENIX Security Symposium, Aug 2024, Philadelphie (USA), United States
Communication dans un congrès
hal-04764478
v1
|
|
|
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses32nd USENIX Security Symposium, Aug 2023, Anaheim, United States
Communication dans un congrès
hal-03795715
v1
|
|
|
Reversing, Breaking, and Fixing the French Legislative Election E-Voting ProtocolUSENIX Security 2023, Aug 2023, Anaheim, United States
Communication dans un congrès
hal-04323674
v1
|
|
|
Fixing the Achilles Heel of E-Voting: The Bulletin BoardCSF 2021 - 34th IEEE Computer Security Foundations Symposium, Jun 2021, Dubrovnik/Virtual, Croatia. pp.1-17, ⟨10.1109/CSF51468.2021.00016⟩
Communication dans un congrès
hal-03488741
v1
|
|
|
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman ProtocolsUSENIX 2020 - 29th Usenix Security Symposium, Aug 2020, Virtual, United States
Communication dans un congrès
hal-03103869
v1
|
|
|
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient ConditionsEuroS&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-02368857
v1
|
|
|
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive ORCSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00033⟩
Communication dans un congrès
hal-01780603
v1
|
POR for Security Protocol Equivalences - Beyond Action-DeterminismComputer Security - 23rd European Symposium on Research in Computer Security, 2018, Barcelone, Spain
Communication dans un congrès
hal-01906651
v1
|
|
|
|
A Formal Analysis of 5G AuthenticationACM CCS 2018 - 25th ACM Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. ⟨10.1145/3243734.3243846⟩
Communication dans un congrès
hal-01898050
v1
|
|
|
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol2023
Pré-publication, Document de travail
hal-03875463
v3
|
|
|
Symbolic Abstractions for Quantum Protocol Verification2020
Pré-publication, Document de travail
hal-02391308
v1
|
|
|
Towards Completeness via Proof Search in the Linear Time mu-Calculus2016
Pré-publication, Document de travail
hal-01275289
v1
|
|
|
Le traçage anonyme, dangereux oxymoreLe droit face au coronavirus, LexisNexis, pp.468--480, 2021, 9782711036394
Chapitre d'ouvrage
hal-02997228
v1
|
|
|
Symbolic Analysis of Identity-Based ProtocolsSpringer. Foundations of Security, Protocols, and Equational Reasoning, Springer (11565), pp.112-134, 2019, LNCS, ⟨10.1007/978-3-030-19052-1_9⟩
Chapitre d'ouvrage
hal-02368842
v1
|
|
|
POR for Security Protocol Equivalences: Beyond Action-DeterminismESORICS, pp.385-405, 2018, ⟨10.1007/978-3-319-99073-6_19⟩
Chapitre d'ouvrage
hal-02390219
v1
|
|
|
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR (Extended Version)[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; ETH Zurich, Switzerland; University of Dundee. 2018
Rapport
(rapport de recherche)
hal-01780544
v1
|
|
|
Automated Verification of Privacy in Security Protocols : Back and Forth Between Theory & PracticeCryptography and Security [cs.CR]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLN019⟩
Thèse
tel-01534145
v1
|
Chargement...
Chargement...