usenix_logo_notag_white
Sign In
Conferences
EVT/WOTE Home
Organizers
Registration Information
Registration Discounts
Workshop Program
Co-located Workshops
Sponsors
Students
Help Promote
For Participants
Call for Papers
Past Proceedings
What Could Go Wrong?
Presentations:
Automated Analysis of Election Audit Logs
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them