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.

July 11th, 2016

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