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

Curriculum Vitae

Curriculum Vitae available (06-16-15) [PDF]

Education

  • 2011 - 2014: PhD Student in Computer Science, Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs.
    • Under the direction of Véronique Cortier. University of Lorraine, Nancy, France [UdL].

  • 2009 - 2011 : Master Calcul Scientifique et Sécurité Informatique (M.Sc IT Security).
    UFR Mathématiques et Informatique, University of Strasbourg, France [UFR].

  • 2008 - 2009 : Master Mathématiques Fondamentales (M.Sc Fundamental and Applied Mathematics).
    UFR Mathématiques et Informatique, University of Strasbourg, France [UFR].

  • 2007 - 2008 : License Mathématiques Fondamentales (B.Sc Mathematics).
    UFR Mathématiques et Informatique, University of Strasbourg, France [UFR].

  • 2005 - 2007 : CPGE PCSI-PC*
    (2-year intensive program preparing for the national exam for entry to French engineering schools).
    Lycée Kléber, Strasbourg, France [CPGE].

  • June 2005 : Baccalauréat S.SVT Option Mathématiques (High School Diploma).
    Lycée Freppel, Obernai, France [Lycée].

    Work Experience

  • Sept. 2014: PostDoc Researcher at UCL Crypto Group.
    In collaboration with Olivier Pereira. Université catholique de Louvain, Louvain-la-Neuve, Belgium [UCL].

  • 2012 - 2014: Teaching assistant ("Moniteur") for Exercise Sessions and Tutorials in Informatique (Computer Science).
    For 1st and 2nd year students at ENSEM, Nancy, France [ENSEM].

  • 2011 - 2012: Teaching assistant ("Moniteur") for Exercise Sessions and Tutorials in Informatique (Computer Science).
    For 1st year students at ENSEM, Nancy, France [ENSEM].

  • Feb. - Aug. 2011 : Internship - Formal Analysis of an E-Voting Protocol.
    Work on a norwegian internet protocol : verifying ballot secrecy with applied pi-calculus. LORIA, Nancy, France [LORIA].

  • Jun. - Aug. 2010 : Internship - How to secure a shared agenda ?
    Research and implementation of solutions for the protection of replicated data. LORIA, Nancy, France [LORIA].