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

Adobe Acrobat Document 778.8 KB

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

Adobe Acrobat Document 251.9 KB

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

Adobe Acrobat Document 201.4 KB

Michael Schläpfer (ETHZ)

Verification of Human-Interaction Security Protocols

Adobe Acrobat Document 1.2 MB

Moday, June 25th, 13:15h-16:15h

Biel, RISIS, Höheweg 80, Room N.522

Eric Dubuis (BFH)

Road Pricing and Electronic Ticketing

Adobe Acrobat Document 631.5 KB

Philémon von Bergen, Andrea Pellegrini (BFH)


Adobe Acrobat Document 816.4 KB


January 14th, 2019

Paper on "Improving the Performance of Cryptographic Voting Protocols" accepted for publication at Voting'19 workshop at FC'19.

July 4th, 2018

Paper on "Process Models for Universally Verifiable Elections" accepted for publication at E-Vote-ID 2018 conference.