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 Kerber, Manfred (2021) Applying the Isabelle insider framework to airplane security. Science of Computer Programming . ISSN 0167-6423 (Accepted/In press)
Kammueller, Florian and Legay, Axel and Schivo, Stefano (2020) Masterminding change by combining secure system design with security risk assessment. International Journal on Software Tools for Technology Transfer . ISSN 1433-2779 (Accepted/In press)
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. (Accepted/In press)
Kammueller, Florian (2020) Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems. Archive of Formal Proof . ISSN 2150-914X (Accepted/In press)
