@inproceedings{Cortier_2018,
title={A Formal Analysis of the Neuchatel e-Voting Protocol},
url={http://dx.doi.org/10.1109/eurosp.2018.00037},
DOI={10.1109/eurosp.2018.00037},
booktitle={2018 IEEE European Symposium on Security and Privacy (EuroS&P)},
publisher={IEEE},
author={Cortier,
Veronique and Galindo,
David and Turuani,
Mathieu},
year={2018},
month=apr }