2021

• Invited talk for the CORGI seminar, IRISA, Rennes - Being a doctor... what's next? [slides]


• Invited talk for the formal methods department's seminar, Loria, Nancy [slides]


• Invited talk for the seminar of the MaREL team, LIRMM, Montpellier [slides]

2020

• PhD defense - Symbolic verification of distance-bounding protocols - Application to payment protocols - [slides]


• CCS'20 (online) - Security analysis and implementation of relay-resistant contacless payments - [slides]


• HotSpot'20 (online) - Security analysis of relay-resistant contacless payments - [slides]

2019

• ESORICS'19 - Symbolic Analysis of Terrorist Fraud Resistance - [slides]


• Invited talk for newcomer students at ENS Rennes: initiation to protocol verification [slides]


• EMSEC's team seminar - AkissDB: Symbolic Verification of Distance-Bounding Protocols [slides]

2018

• FSTTCS'18 - A Symbolic Framework to Analyse Physical Proximity in Security Protocols - [slides]


• FCS'18 - Proving physical proximity using symbolic models - [slides]


• FutureDB - Invited talk at the workshop FutureDB - [slides]