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)

Apr 21, 2017 10:00 AM

Slides

[Invited talk] New Attacks in 4G Technologies

Mar 21, 2017 6:07 PM

Troopers’17 TelcoSecDay