Home  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Sommersemester 2020

E-Voting

Veranstaltungstyp: Seminar
Zielgruppe: Master Informatik
Umfang: 2 SWS / 3 ECTS
Termine:
Veranstaltungsnr.: 2513553
Lehrstühle: Anwendungsorientierte Formale Verifikation
Kryptographie und Sicherheit
Security • Usability • Society (SECUSO)
Lehrkräfte:

Prof. Dr. Bernhard Beckert
Prof. Dr. Jörn Müller-Quade
Prof. Dr. Melanie Volkamer
Felix Dörre
Michael Kirsten
Rebecca Schwerdt

ILIAS-Kurs:
Anmeldung: Wird noch ergänzt.
Platzvergabe: Wird noch ergänzt.
Wird noch ergänzt.