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

Downloadable Files

Norwegian E-Voting Protocol

  • ProVerif Files: [zip]
    Source code corresponding to different corruption cases analyzed using ProVerif tool.

    CNRS Boardroom Voting Protocol

  • ProVerif Files: [zip]
    Source code corresponding to the ProVerif analysis of the CNRS Boardroom Voting Protocol.

    Key Revocation API

  • Javacard Files: [zip]
    Source code for the implementation of the secure API for key management including revocation.
  • Tutorials: (In construction)
    Files and tutorials for execution of the source code on simulators and real smart cards, includes small interface.

    RF* and Helios Implementation

  • RF* Files: [zip]
    RF* code for Helios.