Was sollte ein Wahlverfahren erfüllen? Wann ist ein Wahlverfahren sicher? Welche Bestandteile muss man dabei untersuchen? Mithilfe welcher Methoden lässt sich dies untersuchen?

Es werden kryptographische Wahlverfahren sowie algorithmische Wahl-(auszähl-)verfahren aus verschiedenen Blickwinkeln (kryptographische Methoden, formale Korrektheit, menschliche Faktoren) untersucht.

Diese Veranstaltung können Sie auch für das KASTEL-Zertifikat anrechnen lassen. Weitere Informationen zum Erlangen des Zertifikats finden Sie auf der SECUSO Webseite (https://secuso.aifb.kit.edu/Studium_und_Lehre.php).

Die Anmeldung für das Seminar wird über die Seite https://portal.wiwi.kit.edu/ys/ möglich sein.