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

Research

Interests

• Application Programming Interface.
• Verification of cryptographic protocols, especially voting protocols.
• Formal methods: symbolic models, behavioural equivalences, type systems.

Projects

• 2014 - 2015 : TrueDev Project, founded by the Walloon Region.
• 2011 - 2014 : ERC ProSecure