A Formal Analysis of the Neuchatel e-Voting Protocol

Véronique Cortier, David Galindo, Mathieu Turuani. A Formal Analysis of the Neuchatel e-Voting Protocol. In 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018. pages 430-442, IEEE, 2018. [doi]

Authors

Véronique Cortier

This author has not been identified. Look up 'Véronique Cortier' in Google

David Galindo

This author has not been identified. Look up 'David Galindo' in Google

Mathieu Turuani

This author has not been identified. Look up 'Mathieu Turuani' in Google