Cyrille Wiedling

According to our database, Cyrille Wiedling authored at least 9 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

So Near and Yet So Far - Symbolic Verification of Distance-Bounding Protocols.

Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling

ACM Trans. Priv. Secur., 2022

2019

Symbolic Analysis of Terrorist Fraud Resistance.

Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling

Proceedings of the Computer Security - ESORICS 2019, 2019

2018

A Symbolic Framework to Analyse Physical Proximity in Security Protocols.

Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling

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.

Véronique Cortier, Cyrille Wiedling

J. Comput. Secur., 2017

Formal Analysis of the FIDO 1.x Protocol.

Olivier Pereira, Florentin Rochet, Cyrille Wiedling

Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017

2015

Type-Based Verification of Electronic Voting Protocols.

Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling

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).

Cyrille Wiedling

PhD thesis, 2014

2013

Analysis of an Electronic Boardroom Voting System.

Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling

Proceedings of the E-Voting and Identify - 4th International Conference, 2013

2012

Revoke and let live: a secure key revocation api for cryptographic devices.

Véronique Cortier, Graham Steel, Cyrille Wiedling

Proceedings of the ACM Conference on Computer and Communications Security, 2012