Cyrille Wiedling
PostDoc Researcher at UCL - Crypto Group
Conferences
Type-Based Verification of Electronic Voting Protocols.
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei and Cyrille Wiedling.
In Proceedings of the 1st International Conference on Principles of Security and Trust (POST'12), pp. 149 - 168, London, UK, April 2015.
Analysis of a Boardroom Voting Protocol.
Mathilde Arnaud, Véronique Cortier and Cyrille Wiedling.
In Proceedings of the 4th International Conference (Vote-ID 2013), pp. 109-126, Guildford, UK, July 17-19, 2013.
Revoke and Let Live : A Secure Key Revocation API for Cryptographic Devices.
Véronique Cortier, Graham Steel and Cyrille Wiedling.
In Proceedings of the 19th ACM Conference on Computer and Communications Security (CCS'12), pp. 918 - 928, Raleigh NC, USA, October 2012.
A Formal Analysis of the Norwegian E-voting Protocol.
Véronique Cortier and Cyrille Wiedling.
In Proceedings of the 1st International Conference on Principles of Security and Trust (POST'12), pp. 149 - 168, Tallinn, Estonia, March 2012.
Workshops
Revoke and Let Live : A Secure Key Revocation API for Cryptographic Devices.
Véronique Cortier, Graham Steel and Cyrille Wiedling.
In 6th International Workshop on Analysis of Security APIs (ASA'12) , Harvard University, Cambridge MA, USA, June 2012.
A Formal Analysis of the Norwegian E-voting Protocol.
Véronique Cortier and Cyrille Wiedling.
In Grande Region Security and Reliability Day 2012 (GRSRD'12) , LORIA, Nancy, France, March 2012.
Seminars
Type-Based Verification of Electronic Voting Protocols.
Presentation at Méthodes Formelles et Sécurité seminar in Rennes, 22nd May 2015.
Revoke and Let Live : A Secure Key Revocation API for Cryptographic Devices.
Presentation at Méthodes Formelles et Sécurité seminar in Rennes, 24th May 2013.
Research Reports
Revoke and Let Live : A Secure Key Revocation API for Cryptographic Devices.
Véronique Cortier, Graham Steel and Cyrille Wiedling.
Rapport de recherche RR-7949, INRIA, 2012.
A Formal Analysis of the Norwegian E-voting Protocol.
Véronique Cortier and Cyrille Wiedling.
Rapport de recherche RR-7781, INRIA, 2011.
Theses
Formal Verification of Advanced Families of Security Protocols.
Cyrille Wiedling.
Thesis Manuscript, 2014. Defended at LORIA, Nancy, France on 21st November 2014. The jury was composed of:
- Reviewers: Bruno Blanchet (INRIA) and Cas Cremers (University of Oxford).
- President: Frédéric Cuppens (Télécom Bretagne).
- Examiners: Véronique Cortier (CNRS) [Advisor], Ralf Küsters (University of Trier), Yassine Lakhnech (Université Joseph Fournier),
Pierre-Etienne Moreau (Université de Lorraine) and Benjamin Morin (ANSSI).
Other Publications
Formal Analysis of E-Voting Protocols, Poster, 2013.
Formal Analysis of an E-Voting Protocol,
M.Sc Internship Report, 2011. (in French)