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

December 4th, 2017

Paper on "Modeling a Bulletin Board Service based on Broadcast Channels with Memory" accepted for publication at Voting'18 workshop.

December 4th, 2017

Paper on "Outsourcing Modular Exponentiation in Cryptographic Web Applications" accepted for publication at Voting'18 workshop.