Dr. Cyrille Wiedling

Disclaimer: This page refers to former member of the group. Validity or accuracy of the following information is thus not guaranteed in any way.

I am currently a PostDoc Researcher working with Olivier Pereira on the TrueDev Project. My work is to specify an extension of GlobalPlatform in order to provide an interface for authentification and voting applications on secure elements (in smartphones, laptops, etc.) and/or smart cards. My thesis is "Formal Verification of Advanced Families of Security Protocols: E-voting and APIs" and was done under the direction of Véronique Cortier at CNRS-LORIA, Nancy, France. It deals with formal study of electronic voting protocols and their good properties such that confidentiality of votes, reliability and verifiability of the result, resistance to coercion.
Address:ELEN - Place du Levant 3 bte L5.03.02
Voice:+32 (0) 10 47 91 64
BibTeX - Wiedling


Olivier Pereira, Florentin Rochet, and Cyrille Wiedling. Formal Analysis of the Fido 1.x Protocol, In The 10th International Symposium on Foundations & Practice of Security, editor(s), Lecture Notes in Computer Science (LNCS), Springer, October 2017 PDF BibTeX

Copyright Notice

(click here to expand/retract)