C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Jack Stodart
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Multi Agent
Kolmogorov Complexity
Multiscale
Turing Machine
Top Venues
IACR Cryptol. ePrint Arch.
NordSec
</>
Publications
</>
Thomas Haines
,
Rajeev Goré
,
Jack Stodart
Machine-checking the universal verifiability of ElectionGuard.
IACR Cryptol. ePrint Arch.
2020 (2020)
Thomas Haines
,
Rajeev Goré
,
Jack Stodart
Machine-Checking the Universal Verifiability of ElectionGuard.
NordSec
(2020)