Toggle navigation
Lucca Hirschi
Home
News
Publications
Service
Tools
Teaching
Talks
Contact
CV
Recent & Upcoming Talks
2019
Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy
Jun 19, 2019 2:03 PM
IEEE Euro S&P 2019
Slides
Security and Privacy of 5G AKA vs. Formal Verification
Jun 6, 2019 3:20 PM
GDR Securité
and
Security Seminar at LORIA
Slides
2018
[CCS'18] A Formal Analysis of 5G Authentication
Oct 18, 2018 4:00 PM
CCS 2018
Slides
[ESORICS'18] POR for Security Protocol Equivalences
Sep 3, 2018 4:00 PM
ESORICS 2018
Slides
[Invited talk] Doctoral Dissertation Award
May 31, 2018 5:35 PM
Journées nationales du GDR Sécurité
Slides
2017
[Invited Talk] Cryptographic Flaw in the AKA Protocol - Locate, Track and Monitor Mobile Users
Jul 27, 2017 12:00 AM
GSMA Meeting (Fraud and Security Group)
PhD Defense
Apr 21, 2017 10:00 AM
Slides
[Invited talk] New Attacks in 4G Technologies
Mar 21, 2017 6:07 PM
Troopers’17 TelcoSecDay
×
Cite