Windridge, David and Kammueller, Florian (2020) Edit distance Kernelization of NP theorem proving for polynomial-time machine learning of proof heuristics. In: FICC 2019: Future of Information and Communications Conference, 14-15 Mar 2019, San Francisco, USA.
Karthick, Gayathri and Mapp, Glenford E. and Kammueller, Florian and Aiash, Mahdi (2018) Formalization and analysis of a resource allocation security protocol for secure service migration. In: IEEE/ACM International Conference on Utility and Cloud Computing (UCC2018), 17-20 Dec 2018, Zurich, Switzerland.
Kammueller, Florian (2018) Formal modeling and analysis of data protection for GDPR compliance of IoT healthcare systems. In: IEEE SMC 2018: IEEE International Conference on Systems, Man and Cybernetics, 08-10 Oct 2018, Miyazaki, Japan.