Florian Kammueller

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 8

Top Topics

Air Traffic Management

Healthcare Systems

Top Venues

Publications

Florian Kammueller
Analyzing Air-traffic Security using GIS-"blur' with Information Flow Control in the IIIf. ARES (2024)
Gayathri Karthick, Glenford Mapp, Florian Kammueller, Mahdi Aiash
Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems. Comput. Intell. 38 (3) (2022)
Florian Kammueller
Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems. Arch. Formal Proofs 2020 (2020)
Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan
Describing and Simulating Concurrent Quantum Systems. TACAS (2) (2020)
Gayathri Karthick, Glenford Mapp, Florian Kammueller, Mahdi Aiash
Formalization and Analysis of a Resource Allocation Security Protocol for Secure Service Migration. UCC Companion (2018)
Florian Kammueller
Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems. SMC (2018)
Florian Kammueller, Manfred Kerber, Christian W. Probst
Towards Formal Analysis of Insider Threats for Auctions. MIST@CCS (2016)
Taolue Chen, Tingting Han, Florian Kammueller, Ibrahim Nemli, Christian W. Probst
Model based analysis of insider threats. Cyber Security And Protection Of Digital Services (2016)
Florian Kammueller
Confinement for Active Objects. CoRR (2014)
Florian Kammueller
A Security Model for Functional Active Objects. CCGIDIS (2011)