- 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
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. (Accepted/In press)
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)
Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle
Kammueller, Florian and Augusto, Juan Carlos and Jones, Simon (2017) Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. In: IEEE/ACIS 15th International Conference on Software Engineering Research, Management and Application, SERA2017, 07-09 Jun 2017, University of Greenwich, London, United Kingdom.
Formal modeling and analysis with humans in infrastructures for IoT health care systems
Kammueller, Florian (2017) Formal modeling and analysis with humans in infrastructures for IoT health care systems. In: 5th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2017, 09-14 Jul 2017, Vancouver, BC, Canada.
View more publicationsHuman centric security and privacy for the IoT using formal techniques
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.
-
Funded Research &
Knowledge Exchange Projects -
Engagement &
Impact
In this section
- Our Strategy
- Our past
-
Our people
-
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
- Chancellor
- Vice-Chancellor
- Executive Team
- Academic Board
-
Academic and research staff
- Teaching and research excellence
- Made in Middlesex
- Our faculties
- Reputation and impact
- Alumni Association
- Careers at Middlesex
- Our policies
- Our Student Charter
- Academic Partnerships