A Formal Analysis of the Neuchatel e-Voting Protocol. Cortier, V., Galindo, D., & Turuani, M. In 2018 IEEE European Symposium on Security and Privacy (EuroS&P), pages 430–442, London, April, 2018. IEEE.
A Formal Analysis of the Neuchatel e-Voting Protocol [link]Paper  doi  abstract   bibtex   
Remote electronic voting is used in several countries for legally binding elections. Unlike academic voting protocols, these systems are not always documented and their security is rarely analysed rigorously.
@inproceedings{cortier_formal_2018,
	address = {London},
	title = {A {Formal} {Analysis} of the {Neuchatel} e-{Voting} {Protocol}},
	isbn = {978-1-5386-4228-3},
	url = {https://ieeexplore.ieee.org/document/8406615/},
	doi = {10.1109/EuroSP.2018.00037},
	abstract = {Remote electronic voting is used in several countries for legally binding elections. Unlike academic voting protocols, these systems are not always documented and their security is rarely analysed rigorously.},
	language = {en},
	urldate = {2020-05-21},
	booktitle = {2018 {IEEE} {European} {Symposium} on {Security} and {Privacy} ({EuroS}\&{P})},
	publisher = {IEEE},
	author = {Cortier, Veronique and Galindo, David and Turuani, Mathieu},
	month = apr,
	year = {2018},
	pages = {430--442}
}

Downloads: 0