Seminar E-Voting (SoSe 2022)
Dieses Seminar wird gemeinsam von sowohl den beiden Lehrstühlen für Anwendungsorientierte Formale Verifikation und Kryptographie und Sicherheit vom Institut für Informationssicherheit und Verlässlichkeit (KASTEL) der Fakultät für Informatik, als auch dem Lehrstuhl Security • Usability • Society vom Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) der Fakultät für Wirtschaftswissenschaften veranstaltet.