KASTEL
Users following kastel-security
mi.ki
mi-ki
Researcher in formal methods @lmu @kastel-security. (he/him)
Ludwig-Maximilians-Universität (LMU) in Munich Munich, Germany