Login / Signup
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.
Thomas Haines
Rajeev Goré
Bhavesh Sharma
Published in:
IEEE Symposium on Security and Privacy (2021)
Keyphrases
</>
electronic voting
secret sharing
model checking
database systems
multi party