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


March 2nd, 2023

OpenCHVote v1.3 released on gitlab.com 

July 11th, 2023

Paper on"An Alternative Group for Applications of ElGamal in Cryptographic Protocols" accepted for publication at E-Vote-ID 2023.

February 9th, 2023

Paper on"Private Internet Voting on Untrusted Voting Devices" accepted for publication at the Voting'23 workshop.