Sec
ote 2010 programme
The programme is divided
into three courses (Cryptography, Voting Systems, and Analysis &
Verification). Each block consists of several lessons, spread over the
days of the summer school as shown below.
The programme of the open sessions is presented separately.
Full programme (PDF) | Programme open session.
Programme per day:
Programme Wednesday 1 September
Morning:
- Welcome +
Introduction
to SecVote
Hugo Jonker - Crypto-free
Verifiable Voting
James Heather - Prêt
à Voter
Peter Ryan - Introduction to
Protocol Analysis in Applied π
Steve Kremer
- Introduction to Cryptographic Tools for Voting (CGS97
on
Springerlink, Pedersen extract)
Vanessa Teague
Programme Thursday 2 September
Morning:
- Introduction
to Computational Analysis
Ralf Küsters - Introduction to
Mixnets
Douglas Wikström - Verifiability
& Everlasting Privacy
Tal Moran
- Jeremy Clark - Scantegrity II election at Takoma Park
- Zhe Xia - TVS: Design & Implementation
- Olivier Spycher - Baloti
- Sergiu Bursuc - Privacy in the Cloud (slides) (protocol)
- Peter Ryan - Pretty Good Democracy
- Benjamin Kellerman - Privacy Enhanced Single Event Scheduling
- Mehmet Kiraz - eVoting in Turkey
Programme Friday 3 September
Morning:
- More
Cryptographic Techniques for eVoting
Jens Groth - Analysis of Privacy-type Properties (see slides Steve Kremer,
Wednesday)
Stephanie Delaune - Analysis of Verifiability Properties (see slides Steve Kremer,
Wednesday)
Steve Kremer - JCJ &
Civitas
Michael Clarkson
- Olivier Pereira - Real World uses of Helios
- Aleks Esseks - Eperio
- Reto Knig - Preventing bulletin board flooding in JCJ
- TVS project - PaV demo
- Steve Schneider - Focus group experiences with Prêt à Voter
- Hugo Jonker - Glossary of Voting Terms
- Vanessa Teague - PGD for STV
Programme Saturday 4 September
Morning:
- Computational
Analysis of Security Properties
Ralf Küsters - Improving
JCJ
Jacques Traoré - Open problems in voting:
- Jeremy Clark
- Tal Moran
- Peter Ryan
- Mark Ryan
- Rolf Haennig (no slides)