Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems
by Florian Kammüller
Florian Kammüller
2020
2010
Formalizing Statecharts using Hierarchical Automata
by Steffen Helke and Florian Kammüller
Locally Nameless Sigma Calculus
by Ludovic Henrio, Florian Kammüller, Bianca Lutz and Henry Sudhof