A Formal Analysis of the Neuchatel e-Voting Protocol.

Véronique Cortier David Galindo Mathieu Turuani

Published in: EuroS&P (2018)

Keyphrases

formal analysis
ban logic
formal methods
agent model
payment protocol
voting method
voting schemes
electronic voting
expert systems