Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol.

Alexandre Debant Lucca Hirschi

Published in: USENIX Security Symposium (2023)

Keyphrases

presidential election
voting protocols
preference aggregation
lightweight
electronic voting
social media
authentication protocol
coloured petri nets
communication protocol
social choice
voting method
petri net
public key
formal analysis
voting rules
tcp ip