Section: Bilateral Contracts and Grants with Industry

Canton of Geneva - Electronic Voting Systems

Participants : Véronique Cortier, Mathieu Turuani.

The canton of Geneva has signed a contract in October 2017 with Pesto and Caramba, as well as Manifold Security (Bogdan Warinschi and David Bernhard) to design a formal and cryptographic proof of individual and universal verifiability of the protocol developed by the canton of Geneva, for a deployment in Switzerland.