Revoke and let live: a secure key revocation api for cryptographic devices. - Véronique Cortier; Graham Steel; Cyrille Wiedling (CCS, 2012)

Analysis of an Electronic Boardroom Voting System. - Mathilde Arnaud; Véronique Cortier; Cyrille Wiedling (VoteID, 2013)

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). - Cyrille Wiedling (2014)

Type-Based Verification of Electronic Voting Protocols. - Véronique Cortier; Fabienne Eigner; Steve Kremer; Matteo Maffei; Cyrille Wiedling (IACR Cryptol. ePrint Arch., 2015)

Formal Analysis of the FIDO 1.x Protocol. - Olivier Pereira; Florentin Rochet; Cyrille Wiedling (FPS, 2017)

A formal analysis of the Norwegian E-voting protocol. - Véronique Cortier; Cyrille Wiedling (J. Comput. Secur., 2017)

A Symbolic Framework to Analyse Physical Proximity in Security Protocols. - Alexandre Debant; Stéphanie Delaune; Cyrille Wiedling (FSTTCS, 2018)

Symbolic Analysis of Terrorist Fraud Resistance. - Alexandre Debant; Stéphanie Delaune; Cyrille Wiedling (ESORICS (1), 2019)

So Near and Yet So Far - Symbolic Verification of Distance-Bounding Protocols. - Alexandre Debant; Stéphanie Delaune; Cyrille Wiedling (ACM Trans. Priv. Secur., 2022)