Date: January 25, 2024
Time: 10am-12pm, 12:45pm-3pm (EST)
Location: Zoom
Instructor: Anunay Kulshrestha (email)

This seminar will focus on verifiability in secret ballot elections. We will discuss motivations for verification and perform group activities using ElectionGuard to understand how such systems could be implemented. In particular, participants will learn about end-to-end verifiability and risk-limiting audits.

No background in cryptography or information security will be assumed. Mathematical maturity and some experience with Python will be useful.


10am-11am: Introduction and Motivation
11am-12pm: ElectionGuard v2
12pm-12:45pm: Lunch Break
12:45pm-2:30pm: Group Activity
2:30pm-3pm: Conclusion and Discussion

Group Activity

Participants will be randomly assigned to one of two groups. All participants in a group will collaboratively explore usage of ElectionGuard in the given setting.

Group I: End-to-end Verifiability (E2EV)
Group II: Risk-Limiting Audits (RLAs)


Further Reading