Open AccessType-Based Verification of Electronic Voting Protocols
Author(s) -
Véronique Cortier,
Fabienne Eigner,
Steve Kremer,
Maffei, Matteo,
Wiedling, Cyrille
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - electronic voting , computer science , voting , politics , political science , law