| Document Date: 2015-01-15 13:48:11
Open Document File Size: 342,86 KBShare Result on Facebook
City Louvain / / Company Needham / Google / / Country Germany / Belgium / France / / / Facility Saarland University / University of Louvain-laNeuve / University of Lorraine / / IndustryTerm web-based e-voting protocol / cryptographic protocols / e-voting protocol / e-voting systems / given protocol / complicated protocols / recent tools / automated tools / e-voting / automated protocol verification tools / refinement type systems / constructor applications / E-voting protocols / paper-based voting systems / type-checking algorithm / type systems / security protocols / / Organization i.e. / Saarland University / University of Lorraine / University of Louvain-laNeuve / / Position scheduler / trustee / Judge / / Technology public key encryptions / encryption / E-voting protocols / 1 Introduction Cryptographic protocols / Voting protocols / cryptography / type-checking algorithm / public key / e-voting protocol / given protocol / security protocols / naturally model encryption / simulation / web-based e-voting protocol / SSL / Helios protocol / large-scale protocols / /
SocialTag |
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