Machine-checking the universal verifiability of ElectionGuard. - Thomas Haines; Rajeev Goré; Jack Stodart (IACR Cryptol. ePrint Arch., 2020)