Blar i Institutt for matematiske fag på tidsskrift "Proceedings of the ACM Conference on Computer and Communications Security"
Viser treff 1-1 av 1
-
Verified Verifiers for Verifying Elections
(Journal article; Peer reviewed, 2019)The security and trustworthiness of elections is critical to democracy; alas, securing elections is notoriously hard. Powerful cryptographic techniques for verifying the integrity of electronic voting have been developed ...