Type-Based Verification of Electronic Voting Protocols Véronique Cortier1 , Fabienne Eigner2 , Steve Kremer1 , Matteo Maffei2 , and Cyrille Wiedling3 1 LORIA, CNRS - Electronic voting - Document - PDFSEARCH.IO

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, France Add to Reading List Source URL: eprint.iacr.org Download Document from Source Website File Size: 342,86 KB Share Document on Facebook