Auflistung nach Autor:in "Locher, Philipp"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragA lightweight implementation of a shuffle proof for electronic voting systems(Informatik 2014, 2014) Locher, Philipp; Haenni, RolfIn the usual setting of a verifiable mix-net, an input batch of ciphertexts is shuffled through a series of mixers into an output batch of ciphertexts while hiding the mapping between input and output and preserving the plaintexts. Unlike shuffling, proving the correctness of a shuffle is relatively expensive and difficult to implement. In this paper, we present a new implementation of a shuffle proof based on the proof system proposed by Wikström and Terelius. The implementation offers a clean and intuitive application programming interface and can be used as a lightweight cryptographic component in applications of verifiable mix-nets. Verifiable electronic voting is the most prominent target application area.1
- KonferenzbeitragVerifizierbare Internet-Wahlen an Schweizer Hochschulen mit UniVote(INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt, 2013) Dubuis, Eric; Fischli, Stephan; Haenni, Rolf; Hauser, Severin; Koenig, Reto E.; Locher, Philipp; Ritter, J.; Bergen, Philémon vonDieser Bericht dokumentiert den erstmaligen Einsatz des Internet-Wahlsystems UniVote anlässlich der Wahl des Studierendenrats an drei Schweizer Hochschulen im Frühling 2013. Mittels kryptographischer Methoden garantiert UniVote eine anonyme und geheime Stimmabgabe und ermöglicht gleichzeitig die Verifizierung des Wahlresultats durch Dritte mittels unabhängiger Software. Dazu werden sämtliche Wahldaten veröffentlicht.