![](https://www.pdfsearch.io/img/6cc53e4e716b4979bd5d68a8efae91b0.jpg) Date: 2015-01-15 13:48:11
| | 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
|