KIT – Karlsruher Institut für Technologie
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
KIT
KIT
EN
Mitarbeitende
Bernhard Beckert
Publikationen
Projekte
Simone Meinhart
Alexander Weigl
Joshua Bachmeier
Henriette Färber
Philipp Kern
Michael Kirsten
Aktivitäten
Veröffentlichungen
Lehre
Betreute Arbeiten
Jonas Klamroth
Florian Lanzinger
Debasmita Lohar
Wolfram Pfeifer
Romain Pascual
Jonas Schiffl
Terru Stübinger
Samuel Teuber
Mattias Ulbrich
Ralf Kölmel
Alumni/ae
Peter H. Schmitt
Christoph Gladisch
Daniel Grahl
Vladimir Klebanov
Thorsten Bormer
Simon Greiner
Tianhai Liu
Sarah Grebing
Mihai Herda
Lionel Blatter
Annika Vielsack
Veröffentlichungen
Software
Forschung
CONVIDE
KiKIT
KASTEL
E2E-Wahlen am KIT
K
eY
Erklärbare Online-Wahlen
SofDCar
COMSOC
Veröffentlichungen
Archiv
Lehre hoch Forschung-PLUS
Open-Source-Lehrsoftware-Labor
IMPROVE-APS
VeriSmart
DeduSec
FIfAKS
Lehre hoch Forschung
IMPROVE
GIF
USV
COST
VeriSoft XT
Studium und Lehre
Formale Systeme II: Anwendung
Praxis der Forschung
Aktuelle Termine und Themen
Modulinhalte, Ziele und Leistungen
Archiv aller Jahrgänge
Veröffentlichungen
Seminar Neur. Netze in Form. Verif.
Seminar zu E-Voting
Seminar zu Fairness u. Nichtdiskr.
Forschungspraktikum
Forschungsseminar (Institutssem.)
Veranstaltungen im Sommersemester
Archiv
Altklausuren
Formale Systeme
Altklausuren
Grundbegr. d. Informatik
Angebote
Abschlussarbeiten
Offene Stellen
Startseite
Home
Impressum
Datenschutz
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen
Veröffentlichungen
Lieber
nach Kategorien
gruppieren.
