
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
Downloadable Files
Norwegian E-Voting Protocol
Source code corresponding to different corruption cases analyzed using ProVerif tool.
CNRS Boardroom Voting Protocol
Source code corresponding to the ProVerif analysis of the CNRS Boardroom Voting Protocol.
Key Revocation API
Source code for the implementation of the secure API for key management including revocation.
Files and tutorials for execution of the source code on simulators and real smart cards, includes small interface.
RF* and Helios Implementation
RF* code for Helios.