Cyrille Wiedling

UCL Crypto Group / ICTEAM
Place du Levant 3
Bte L5.03.02
1348 Louvain-la-Neuve
Belgium

Contact me :
Office : Maxwell Building, B.127.10
Phone: +32 (0) 10 47 91 64
Mail: cyrille.wiedling@uclouvain.be

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.    
        Details     BibTeX         Downloads : [pdf]  [long version] 

  • 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.    
        Details     BibTeX         Downloads : [pdf]  [Slides (.pdf)] 

  • 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.    
        Details     BibTeX         Downloads : [pdf]  [long version]  [Slides (.pdf)] 

  • 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.
        Details     BibTeX         Downloads : [pdf]  [long version]  [Slides (.pdf)] 
  • 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.
        Downloads : [Slides (.pdf)] 

  • 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.
        [Seminar Page]         Downloads : [Slides (.pdf)] 

  • 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.
        [Seminar Page]         Downloads : [Slides (.pdf)] 
  • 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.
        Details    BibTeX    [DOI]         Downloads : [pdf] 

  • A Formal Analysis of the Norwegian E-voting Protocol. Véronique Cortier and Cyrille Wiedling. Rapport de recherche RR-7781, INRIA, 2011.
        Details    BibTeX    [DOI]         Downloads : [pdf] 
  • 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:
            Downloads : [Manuscript (.pdf)]    [Slides (.pdf)]   
  • Other Publications

  • Formal Analysis of E-Voting Protocols, Poster, 2013.
            Downloads : [pdf]  

  • Formal Analysis of an E-Voting Protocol, M.Sc Internship Report, 2011. (in French)
            Downloads : [Report (.pdf)]   [Slides (.pdf)]