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


February 4th, 2016

Paper on "Pseudo-Code Algorithms for Verifiable Re-Encryption Mix-Nets" accepted for publication at Voting'17 workshop.

December 16th, 2016

Paper on "Implementing Broadcast Channels with Memory for Electronic Voting Systems" accepted for publication at JeDEM.

July 11th, 2016

Paper on "Cast-as-Intended Verification in Electronic Elections Based on Oblivious Transfer" accepted for publication at E-Vote-ID'16.