Verified Verifiers for Verifying Elections

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security ◽

10.1145/3319535.3354247 ◽

2019 ◽

Author(s):

Thomas Haines ◽

Rajeev Goré ◽

Mukesh Tiwari

Download Full-text