First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 342,86 KBShare Document on Facebook |