Simultaneously Proving Privacy and Verifiability: A ProVerif Framework for Internet Voting

Part of

Application Security And Cryptographic Innovations