Computer Security and Electronic Voting Systems - Security Challenges and Solutions

Explore the critical intersection of computer security and electronic voting systems in this invited talk from the 16th USENIX Security Symposium, where Stanford University Professor David Dill draws on his 25+ years of expertise in formal verification technologies. Learn how electronic voting systems were initially designed with minimal security considerations, and discover the significant contributions made by computer security experts in evaluating and improving these systems. Gain insights into the unique challenges of securing voting systems compared to other computer security problems, and understand the importance of voter-verifiable audit trails. Benefit from the perspective of a leading expert who founded VerifiedVoting.org, served on California's Task Force on Touch-Screen Voting, and has testified before multiple federal commissions on electronic voting security.