E-Voting Seminar
Spring 2012
Thursday, March 29th, 14:15h-17:15h
Berne, BFH Management Center, Room 101
Simon Kramer (University of Luxembourg)
A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems
Moday, April 23th, 13:15h-16:15h
Biel, RISIS, Höheweg 82, Seminar room (ground floor)
Reto Koenig (BFH)
Eperio: Verification in a Spreadsheet
Oliver Spycher (BFH)
Code-Verification Voting Protocols
Thursday, May 24th, 14:15h-17:15h
Berne, BFH Management Center, Room 101
Stefan Thöni, Denis Simonet (Piratenpartei Schweiz)
Pi-Vote: Kryptographisch sicheres eVoting im Einsatz
Michael Schläpfer (ETHZ)
Verification of Human-Interaction Security Protocols
Moday, June 25th, 13:15h-16:15h
Biel, RISIS, Höheweg 80, Room N.522
Eric Dubuis (BFH)
Road Pricing and Electronic Ticketing
Philémon von Bergen, Andrea Pellegrini (BFH)
SwissiVi