1![Analysis of an Electronic Voting Protocol in the Applied Pi Calculus Steve Kremer1 and Mark Ryan2 1 Laboratoire Sp´ecification et V´erification Analysis of an Electronic Voting Protocol in the Applied Pi Calculus Steve Kremer1 and Mark Ryan2 1 Laboratoire Sp´ecification et V´erification](https://www.pdfsearch.io/img/da2fe7b5f2205d1fc9460798cd548afa.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2009-02-25 10:33:24
|
---|
2![Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus Michael Backes1,2 , C˘at˘alin Hri¸tcu1 , and Matteo Maffei1 1 Saarland University, Saarbrücken, Germany Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus Michael Backes1,2 , C˘at˘alin Hri¸tcu1 , and Matteo Maffei1 1 Saarland University, Saarbrücken, Germany](https://www.pdfsearch.io/img/db951ebc22e9cefb9ae2f694bf79c8a3.jpg) | Add to Reading ListSource URL: prosecco.gforge.inria.frLanguage: English - Date: 2014-03-05 17:17:53
|
---|
3![Mix-Nets Lecture 21 Some tools for electronic-voting (and other things)
Mix-Nets Mix-Nets Lecture 21 Some tools for electronic-voting (and other things)
Mix-Nets](https://www.pdfsearch.io/img/efd0c810f9e3fb5e62939e07107a4f5a.jpg) | Add to Reading ListSource URL: courses.engr.illinois.eduLanguage: English - Date: 2016-04-14 13:16:36
|
---|
4![Verifying Properties of Electronic Voting Protocols ∗ St´ephanie Delaune LSV, France T´el´ecom R&D ENS Cachan, CNRS, France Verifying Properties of Electronic Voting Protocols ∗ St´ephanie Delaune LSV, France T´el´ecom R&D ENS Cachan, CNRS, France](https://www.pdfsearch.io/img/c341fde105eab0e09c0e48ae260978e8.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.uk.Language: English - Date: 2009-02-25 10:33:24
|
---|
5![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 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](https://www.pdfsearch.io/img/6cc53e4e716b4979bd5d68a8efae91b0.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2015-01-15 13:48:11
|
---|
6![Remote Electronic Voting can be Efficient, Verifiable and Coercion-Resistant Roberto Ara´ ujo1 , Amira Barki2,3 , Solenn Brunet2,4 , and Jacques Traor´e2 1 Remote Electronic Voting can be Efficient, Verifiable and Coercion-Resistant Roberto Ara´ ujo1 , Amira Barki2,3 , Solenn Brunet2,4 , and Jacques Traor´e2 1](https://www.pdfsearch.io/img/5dbd38d9892b6a7c6da87d7efef4a434.jpg) | Add to Reading ListSource URL: fc16.ifca.aiLanguage: English - Date: 2016-02-06 05:32:08
|
---|
7![Idox Elections Future of Electronic Voting – The First Principles The University of Edinburgh 29 November 2017 @IdoxElections © idox 2017 Idox Elections Future of Electronic Voting – The First Principles The University of Edinburgh 29 November 2017 @IdoxElections © idox 2017](https://www.pdfsearch.io/img/ad75cb4ac526e014f45ac4b55e766068.jpg) | Add to Reading ListSource URL: www.ed.ac.ukLanguage: English - Date: 2017-12-11 06:11:34
|
---|
8![Privacy and Verifiability in Electronic Voting Vom Fachbereich Informatik der Technischen Universit¨at Darmstadt genehmigte Privacy and Verifiability in Electronic Voting Vom Fachbereich Informatik der Technischen Universit¨at Darmstadt genehmigte](https://www.pdfsearch.io/img/36614145f064f57594069e0b52c55cb6.jpg) | Add to Reading ListSource URL: tuprints.ulb.tu-darmstadt.deLanguage: German - Date: 2011-04-18 10:27:33
|
---|
9![HANDBOOK FOR POLLING AGENTS (At Elections where Electronic Voting Machines are used) 2014 HANDBOOK FOR POLLING AGENTS (At Elections where Electronic Voting Machines are used) 2014](https://www.pdfsearch.io/img/a8c869a0baba03efa0c7c8308aba500b.jpg) | Add to Reading ListSource URL: eci.nic.inLanguage: English |
---|
10![Town of Oregon 1138 Union Road Oregon, WINOTICE TO TOWN OF OREGON RESIDENTS PUBLIC TEST OF ELECTRONIC VOTING EQUIPMENT Town of Oregon 1138 Union Road Oregon, WINOTICE TO TOWN OF OREGON RESIDENTS PUBLIC TEST OF ELECTRONIC VOTING EQUIPMENT](https://www.pdfsearch.io/img/302a969887827585e651848b5efccb10.jpg) | Add to Reading ListSource URL: www.town.oregon.wi.us- Date: 2018-03-06 13:10:44
|
---|