• Type-Based Verification of Electronic Voting Protocols
    Veronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, and Cyrille Wiedling
    To appear in 4th Conference on Principles of Security and Trust (POST 2015). Long version available on eprint.

Helios Source Files

  • Code of our Helios rF* implementation for verification of privacy and individual verifiabiity


  • new 15/Jan/2015: The project page is now online!