- 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 (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.
Describing and simulating concurrent quantum systems
Bornat, Richard and Boender, Jaap and Kammueller, Florian and Poly, Guillaume and Nagarajan, Rajagopal (2019) Describing and simulating concurrent quantum systems. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. (Accepted/In press)
Attack Trees in Isabelle extended with probabilities for Quantum Cryptography
Kammueller, Florian (2019) Attack Trees in Isabelle extended with probabilities for Quantum Cryptography. Computers and Security , 87 . ISSN 0167-4048 (Published online first)
Formalization and analysis of a resource allocation security protocol for secure service migration
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.
181614Attack trees in Isabelle
Kammueller, Florian (2018) Attack trees in Isabelle. In: 20th International Conference on Information and Communications Security, ICICS 2018, 29-31 Oct 2018, Lille, France.
-
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
- Our stories: Made in Middlesex
- News
- Our reputation and impact
- Our community
- Coronavirus (COVID-19) info
- Our alumni
- Careers at Middlesex
- Our policies
- Athena SWAN
