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)
Kammueller, Florian and Kerber, Manfred (2020) Applying the Isabelle Insider framework to airplane security. Working Paper. Preprint, arxiv.org.
Kammueller, Florian (2020) A formal development cycle for security engineering in Isabelle. Working Paper. Preprint, arxiv.org. (Published online first)
