Kammueller, Florian and Kerber, Manfred (2021) Applying the Isabelle insider framework to airplane security. Science of Computer Programming , 206 . ISSN 0167-6423
Karthick, Gayathri and Mapp, Glenford E. and Kammueller, Florian and Aiash, Mahdi (2021) Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems. Computational Intelligence . ISSN 0824-7935 (Published online first)
Kammueller, Florian and Legay, Axel and Schivo, Stefano (2021) Masterminding change by combining secure system design with security risk assessment. International Journal on Software Tools for Technology Transfer , 23 (1). pp. 69-70. ISSN 1433-2779
Kammueller, Florian and Lutz, Bianca (2020) Modeling and analyzing the Corona-virus warning app with the Isabelle infrastructure framework. In: International Workshop of Data Privacy Management, DPM'20, 17-18 Sep 2020, University of Surrey, UK.
Kammueller, Florian (2020) Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems. Archive of Formal Proof . ISSN 2150-914X (Accepted/In press)