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.
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) Human centric security and privacy for the IoT using formal techniques. In: 3rd International Conference on Human Factors in Cybersecurity, 17-21 Jul 2017, Los Angeles, CA, United States.