Wednesday 28th
Reception and demos in the evening at MSR
Thursday 29th
8.45-9.00 Welcome
9.00-10.30 Schemes:
Towards Simple Verifiable Elections
Josh Benaloh
Punchscan: Introduction and System Definition of a High-Integrity Election System
Kevin Fisher, Richard Carback and Dr. Alan T. Sherman
An Introduction to Punchscan
Stefan Popoveniuc, Ben Hosp
10.30-11.00 break
11.00-12.30 Pret a Voter related schemes:
A Threat Analysis of Pret a Voter
Peter Y. A. Ryan and Thea Peacock
Distributed creation of the ballot form in Pret a Voter using an element of Visual Encryption
D Lundin, H Treharne, P Y A Ryan, S Schneider, J Heather
A New Receipt-Free E-Voting Scheme Based on Blind Signature
Z Xia and S Schneider
12.30-14.00 Lunch
14.00-15.00
A User Acceptance Study of a Pollsterless Remote Voting System
Tim Storer
Standards for e-Voting: The Work of the OASIS Election & Voter Services Technical Committee
John Borras and David Webber
15.00-16.00 Panel:
"The Great Paper Debate: Is paper the answer to election integrity?"
Josh Benaloh, Ian Brown, Jason Kitcat, Berry Schoenmakers
16.30-18.30 Rump Session (joint with PET?)
Dinner TBD
Friday 30th:
8.30-9.00
Presentations from DCA etc.
9.00-10.30 Analysis:
An Information-Theoretic Model of Voting Systems
Ben Hosp and Poorvi L. Vora
Verifying Properties of Electronic Voting Protocols
Stephanie Delaune, Steve Kremer, Mark Ryan
Receipt-Freeness as a Special Case of Anonymity in Epistemic Logic
Hugo Jonker and Wolter Pieters
10.30-11.00 break
11.00-12.00
The Quota Borda System
Peter Emerson
The possibility of cryptographic e-voting with mobile phones
Kengo Mori and Kazue Sako
12.00-12.30
Presentation and discussion on IAVoSS
12.30-14.00 Lunch
14.00-15.00 Properties:
On Some Incompatible Properties of Voting Schemes
Benoit Chevallier-Mames, Pierre-Alain Fouque, David Pointcheval, Julien Stern, and Jacques Traore
Unconditional Privacy in Voting using Non-Interactive Dining Cryptographer Nets
Jeroen van de Graaf
15.00-15.30 Short presentations:
The Role of Dice in Election Audits
Arel Cordero David, Wagner, David Dill
Efficient Voter Verifiable E-Voting Schemes with Cryptographic Receipts
Yunho Lee, Kwangwoo Lee, Seungjoo Kim and Dongho Won
15.30-16.00
Panel TBD
16.0-16.30 Wrap-up
16.30 close