1. Humans
  2. CNRS & Inria
Star 0
Month Quarter Year
#N/A #N/A #N/A
Title Event
Machine-Checked Proofs of Privacy for Electronic Voting Protocols 38th IEEE Symposium on Security and Privacy