Machine-Checking the Universal Verifiability of ElectionGuard

Secure IT Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-70852-8_4 ◽

2021 ◽

pp. 57-73

Author(s):

Thomas Haines ◽

Rajeev Goré ◽

Jack Stodart

Download Full-text