Kammueller, Florian (2022) Explanation of black box AI for GDPR related privacy using Isabelle. In: Data Privacy Management, International Workshop, co-located with ESORICS'22, 29 Sept 2022, Copenhagen, Denmark. (Accepted/In press)
Karthick, Gayathri and Mapp, Glenford E. and Kammueller, Florian and Aiash, Mahdi (2022) Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems. Computational Intelligence , 38 (3). pp. 811-828. ISSN 0824-7935
Kammueller, Florian and Alvarado, Chelsea Mira (2022) Modeling and verification of human aspects in socio technical systems and networks for security and privacy. In: HCI-CPT: 4th International Conference on HCI for Cybersecurity, Privacy and Trust, 26 Jun - 01 Jul 2022, Virtual. (Accepted/In press)
Kammueller, Florian (2022) Explanation by automated reasoning using the Isabelle Infrastructure framework. In: Human Computer Interaction International, 26 Jun - 01 Jul 2022, Virtual. (Accepted/In press)
Kammueller, Florian (2021) Explanation by automated reasoning using the Isabelle Infrastructure framework. Working Paper. Preprint, arXiv.org.