Windridge, David and Kammueller, Florian (2018) 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. (Accepted/In press)
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.
Karthick, Gayathri and Mapp, Glenford E. and Kammueller, Florian and Aiash, Mahdi (2017) Exploring a security protocol for secure service migration in commercial cloud environments. In: 2nd International Conference on Internet of Things, Data and Cloud Computing (ICC 2017), 22-23 Mar 2017, Churchill College, University of Cambridge, United Kingdom. (Published online first)