This is my old master’s research page, recompiled. Original post could still be accessed here.
E-VOTING, FORMAL VERIFICATION, COMPUTER SECURITY, THEORETICAL COMPUTER SCIENCE
electronic voting references
SYSTEMS I started my research in e-voting reading papers on e-voting systems. These are the few that caught my attention. If you are interested in doing research on e-voting, these papers serve well as a starting point, then just follow the references and browse for other systems. I might add more as I stumble on interesting ones in the future.
- VoteBox: a tamper-evident, verifiable electronic voting system. Daniel Sandler, Kyle Derr, and Dan S. Wallach. 2008.
- VoteBox: a tamper-evident, verifiable electronic voting system. Daniel Robert Sandler. 2009
- Trustworthy Voting: From Machine to System. Nathanael Paul and Andrew S. Tanenbaum. May 2009.
- The Design of a Trustworthy Voting System. Nathanael Paul and Andrew S. Tanenbaum. December 2009.
- Helios: Web-based Open-Audit Voting. Ben Adida. 2008.
- Electing a University President using Open-Audit Voting: Analysis of real-world use of Helios. Ben Adida, Olivier de Marneffe, Olivier Pereira, and Jean-Jacques Quisquater. 2009.
- Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. Steve Kremer and Mark Ryan. European Symposium on Programming ’05.
- Verifying Properties of Electronic Voting Protocols. Stéphanie Delaune, Steve Kremer, and Mark Ryan. Workshop on Trustworthy Elections ’06.
- Coercion-Resistance and Receipt-Freeness in Electronic Voting. Stéphanie Delaune, Steve Kremer, and Mark Ryan. Computer Security Foundations Workshop ’06.
- Verifying privacy-type properties of electronic voting protocols. Stéphanie Delaune, Steve Kremer, and Mark Ryan. Journal of Computer Security ’09.
- Election verifiability in electronic voting protocols. Steve Kremer, Mark Ryan, and Ben Smyth. European Symposium on Research in Computer Security ’10.