- Home ›
- About us ›
- Our people ›
- Academic and research staff ›
- Profile Page
Dr Florian Kammueller
-
Biography &
Qualifications
Languages Spoken
-
Learning &
Teaching Interests -
Research Outputs &
InterestsPublication Feed
Edit distance Kernelization of NP theorem proving for polynomial-time machine learning of proof heuristics
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)
Formal modeling and analysis of data protection for GDPR compliance of IoT healthcare systems
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.
A proof calculus for attack trees in Isabelle
Kammueller, Florian (2017) A proof calculus for attack trees in Isabelle. In: 12th International Workshop on Data Privacy Management (DPM 2017), 14-15 Sept 2017, Oslo, Norway.
Exploring a security protocol for secure service migration in commercial cloud environments
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)
View more publicationsModel based analysis of insider threats
Chen, Taolue and Han, Tingting and Kammueller, Florian and Nemli, Ibrahim and Probst, Christian (2016) Model based analysis of insider threats. In: 2016 International Conference on Cyber Security and Protection of Digital Services (Cyber Security), 13-14 Jun 2016, London, United Kingdom.
-
Funded Research &
Knowledge Exchange Projects -
Engagement &
Impact
In this section
- What we do
-
Our people
- Chancellor
- Vice-Chancellor and Executive
- Professional services
-
Academic and research staff
- Amietta, Santiago
- Anastasiades, Mario
- Baker, Tremaine
- Bannerman, Christopher
- Barrett, Brenda
- Bishop, Chris
- Bryant, Lizi
- Carnac, Helen
- Carr, Sarah
- Charalambidou, Anna
- Cockburn, Emma
- Cohan, Robert
- DeMarco, Jeffrey
- Dilmperi, Athina
- Doddapaneni, krishna
- Espin, Antonio
- Gandini, Alessandro
- Gomez, Lorenzo
- Howarth, Mike
- Ioana Serghiuta
- Jacobs, Catherine
- Kazim, Raza
- Kelly, Michael
- Kierans, Lauren
- Kleiman, Paul
- Klika, Deborah
- Lee, Hsing-Fen
- Loizidou, Erika
- Long, Ellouise
- Longstaff, Fran
- McGrath, Martin
- Morrison, Scott
- Nichols, Barry
- Nikolou-Walker, Elda
- O'Donnell, Aiden
- Popescu, Andrei
- Reynolds, Gemma
- Rix, Oliver
- Smith, Martin C.
- Timmermans, Martijn
- Tirimo, Martino
- Tolmer, Mireille
- Weaver, Timothy
- Webb, Neville
- Windridge, David
- Board of Governors
- Student charter
- Honorary graduates
- Made in Middlesex
- Our reputation and impact
- Our community
- Our alumni
- Careers at Middlesex
- Our policies
