Secote 2012 programme

• Main page
• Venue
• Program
• Registration
• Lecturers
• Call for participation
• SecVote 2010

Monday, July 16th

• Michael Clarkson: Verifiability in Electronic Voting (slides)
• Dan Wallach: Real-life failures of voting systems (slides)
• Ulle Endriss: Voting Theory (slides, website)
• Philip Stark: Evidence-Based Elections: Risk-Limiting Audits and Resilient Canvass Frameworks (slides -- 79MB)

Tuesday, July 17th

• Filip Zagorski: Remotegrity ()
• Dan Wallach: The VoteBox voting system (slides)
• Open session:
  • G. S. Grewal and M. D. Ryan: Corruption evidence in electronic voting (slides)
  • F. Zagorski: Scratch, Click & Vote ()
  • Z. Xia: A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission (slides)
  • J. v.d. Graaf: Internet Voting Protocols with Everlasting Privacy (slides)
  • A. Al-Shammari: Towards Open Vote verification Method in E-Voting (slides)

Wednesday, July 18th

• Bogdan Warinschi: Vote privacy: models and cryptographic underpinnings (slides)
• Melanie Volkamer: Usable Verifiable Remote Electronic Voting (slides)

Thursday, July 19th

• Melanie Volkamer: Deducing technical requirements from legal regulations (slides)
• Michel Chevalier: Uncovering the veil on Geneva's evoting solution (website)
• Helger Lipmaa: On cast-as-intended Internet voting: the cases of Norway and Estonia ()
• Open session:
  • O. Pereira: Election Verifiability or Ballot Privacy: Do We Need to Choose? (slides)
  • S. Heidelberg: Electronic voting is in danger (slides)
  • Z. Xia: Remote Prêt à Voter (slides)
  • D. Demirel: A publicly-verifiable mix-net with everlasting privacy towards observers (slides)

Friday, July 20th

• Alon Rosen: The Wombat Voting System (slides)
• Open problems (contributors: Michael Clarkson, Philip Stark, Ulle Endriss, Helger Lipmaa).