Login / Signup
Creating a Decryption Proof Verifier for the Estonian Internet Voting System.
Jan Willemson
Published in:
ARES (2023)
Keyphrases
</>
internet voting
theorem proving
mathematical proofs
ciphertext
database
machine learning
learning algorithm
software engineering
encryption algorithm
unauthorized access