Cyrille WIEDLING
Me, Myself and I.
I have made my Ph.D. in CASSIS project-team (LORIA Nancy, France) on the formal analysis of cryptographic protocols. I've also been part of the UCL CryptoGroup (Louvain-la-Neuve, Belgium) and EMSEC research-team (IRISA Rennes, France) as a Post-Doc researcher working on formal and computational analysis of protocols. I now work for DGA-MI (DGA belongs to the french ministry of defense). I am also associate researcher at IRISA.
- cyrille[dot]wiedling[at]inria[dot]fr
- F332, IRISA Beaulieu (12F)
- +33 (0)2 99 84 74 24
- @CWiedling
Papers.
Symbolic Analysis of Terrorist Fraud Resistance.
Alexandre Debant, Stéphanie Delaune and Cyrille Wiedling.
In Proceedings of the 24th European Symposium on Research in Computer Security (ESORICS'19), pp. 383 - 403, Luxembourg, Luxembourg, September 2019.
A Symbolic Framework to Analyse Physical Proximity in Security Protocols.
Alexandre Debant, Stéphanie Delaune and Cyrille Wiedling.
In Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'18), pp. 29:1 - 29:20, Ahmedabad, India, December 2018.
Formal Analysis fo the FIDO 1.x Protocol.
Olivier Pereira, Florentin Rochet and Cyrille Wiedling.
In Proceedings of the 10th International Symposium on Foundations and Practice of Security (FPS'17), pp. 68 - 82, Nancy, France, October 2017.
A Formal Analysis of the Norwegian E-voting Protocol.
Véronique Cortier and Cyrille Wiedling.
In Journal of Computer Security, Vol. 25, No. 1, pp. 21–57, March 2017.
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.
Talks.
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.
Other publications.
Formal Verification of Advanced Families of Security Protocols.
Thesis Manuscript. Defended on 21st November 2014 at LORIA, Nancy, France.
Formal Analysis of E-Voting Protocols.
Poster, 2013.
Analyse formelle d'un protocole de vote.
M.Sc Internship Report, 2011. (French)
Coming Soon.
There are no rules. Only guidelines.