Login / Signup

Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.

Thomas HainesRajeev GoréBhavesh Sharma
Published in: IEEE Symposium on Security and Privacy (2021)
Keyphrases
  • electronic voting
  • secret sharing
  • model checking
  • database systems
  • multi party