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

multi_modular_specification.pdf
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

code_verification_protocol.pdf
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

pi_vote.pdf
Adobe Acrobat Document 201.4 KB

Michael Schläpfer (ETHZ)

Verification of Human-Interaction Security Protocols

hisp.pdf
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

road_pricing.pdf
Adobe Acrobat Document 631.5 KB

Philémon von Bergen, Andrea Pellegrini (BFH)

SwissiVi

swissivi.pdf
Adobe Acrobat Document 816.4 KB

News

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.