Date: 2015-01-15 13:48:11Cryptography Politics Cryptographic protocols Elections Cryptographic software ProVerif Homomorphic encryption ThreeBallot Electronic voting Electoral systems Information Data | | Type-Based Verification of Electronic Voting Protocols Véronique Cortier1 , Fabienne Eigner2 , Steve Kremer1 , Matteo Maffei2 , and Cyrille Wiedling3 1 LORIA, CNRS & INRIA & University of Lorraine, FranceAdd to Reading ListSource URL: eprint.iacr.orgDownload Document from Source Website File Size: 342,86 KBShare Document on Facebook
|