KIT - Karlsruhe Institute of Technology
image/svg+xml
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
KIT
DE
Team
Bernhard Beckert
Publications
Projects
Simone Meinhart
Joshua Bachmeier
Andreas Bremer
Henriette Färber
Philipp Kern
Jonas Klamroth
Florian Lanzinger
Debasmita Lohar
Wolfram Pfeifer
Jonas Schiffl
Terru Stübinger
Samuel Teuber
Mattias Ulbrich
Alexander Weigl
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
Romain Pascual
Michael Kirsten
Publications
Tools
Research
CONVIDE
KiKIT
KASTEL
E2E-Elections at KIT
K
eY
Explainable Online Elections
SofDCar
COMSOC
Publications
Archive
Research-based Education PLUS
Open-source Teach. Software Lab
IMPROVE-APS
VeriSmart
DeduSec
FIfAKS
Research-based Education
IMPROVE
GIF
USV
COST
VeriSoft XT
Teaching
Formal Systems II: Application
Research Project
Current Dates and Topics
Module, Goals and Deliverables
Archive of All Semesters
Publications
Sem. on LLMs in Formal Verification
Seminar on E-Voting
Seminar on Fairness and Non-Discr.
Research Laboratory
Research Seminar (Institute Seminar)
Summer Term Courses
Archive
Exams
Formal Systems
Exams
Basic Notions of Comp. Sci.
Offers
Theses
Startseite
Home
Legals
Privacy Policy
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications
Publications
Rather group
by categories
.
