• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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