2022
So Near and Yet So Far - Symbolic Verification of Distance-Bounding Protocols.
ACM Trans. Priv. Secur., 2022

2019
Symbolic Analysis of Terrorist Fraud Resistance.
Proceedings of the Computer Security - ESORICS 2019, 2019

2018
A Symbolic Framework to Analyse Physical Proximity in Security Protocols.
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017
A formal analysis of the Norwegian E-voting protocol.
J. Comput. Secur., 2017

Formal Analysis of the FIDO 1.x Protocol.
Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017

2015
Type-Based Verification of Electronic Voting Protocols.
IACR Cryptol. ePrint Arch., 2015

2014
Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs. (Vérification formelle de familles avancées de protocoles de sécurité : vote électronique et API).
PhD thesis, 2014

2013
Analysis of an Electronic Boardroom Voting System.
Proceedings of the E-Voting and Identify - 4th International Conference, 2013

2012
Revoke and let live: a secure key revocation api for cryptographic devices.
Proceedings of the ACM Conference on Computer and Communications Security, 2012