Jack Stodart

According to our database, Jack Stodart authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Machine-Checking the Universal Verifiability of ElectionGuard.

Thomas Haines, Rajeev Goré, Jack Stodart

Proceedings of the Secure IT Systems - 25th Nordic Conference, NordSec 2020, Virtual Event, 2020