Florian Kammüller

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 32

Top Topics

Healthcare Systems

Risk Assessment

Top Venues

DPM/QASA@ESORICS

DPM/CBT@ESORICS

IEEE Symposium on Security and Privacy Workshops

Publications

Florian Kammüller
Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle. ESORICS Workshops (2) (2023)
Florian Kammüller
Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security. CoRR (2023)
Florian Kammüller, Dimpy Satija
Explanation of Student Attendance AI Prediction with the Isabelle Infrastructure Framework. Inf. 14 (8) (2023)
Florian Kammüller
Explanation of Black Box AI for GDPR Related Privacy Using Isabelle. DPM/CBT@ESORICS (2022)
Florian Kammüller
Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework. HCI (43) (2022)
Florian Kammüller, Chelsea Mira Alvarado
Exploring Rationality of Self Awareness in Social Networking for Logical Modeling of Unintentional Insiders. HCI (32) (2022)
Florian Kammüller, Manfred Kerber
Applying the Isabelle Insider framework to airplane security. Sci. Comput. Program. 206 (2021)
Florian Kammüller
Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework. CoRR (2021)
Florian Kammüller, Chelsea Mira Alvarado
Exploring rationality of self awareness in social networking for logical modeling of unintentional insiders. CoRR (2021)
Florian Kammüller, Axel Legay, Stefano Schivo
Masterminding change by combining secure system design with security risk assessment. Int. J. Softw. Tools Technol. Transf. 23 (1) (2021)
Florian Kammüller
Dependability Engineering in Isabelle. CoRR (2021)
Florian Kammüller, Manfred Kerber
Applying the Isabelle Insider Framework to Airplane Security. CoRR (2020)
Florian Kammüller, Uwe Nestmann
Inter-Blockchain Protocols with the Isabelle Infrastructure Framework. FMBC@CAV (2020)
Florian Kammüller, Bianca Lutz
Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework. DPM/CBT@ESORICS (2020)
Florian Kammüller
A Formal Development Cycle for Security Engineering in Isabelle. CoRR (2020)
Florian Kammüller
QKD in Isabelle - Bayesian Calculation. CoRR (2019)
Florian Kammüller
Attack trees in Isabelle extended with probabilities for quantum cryptography. Comput. Secur. 87 (2019)
Florian Kammüller
Combining Secure System Design with Risk Assessment for IoT Healthcare Systems. PerCom Workshops (2019)
Florian Kammüller, Oladapo O. Ogunyanwo, Christian W. Probst
Designing Data Protection for GDPR Compliance into IoT Healthcare Systems. CoRR (2019)
Florian Kammüller
Attack Trees in Isabelle - CTL semantics, correctness and completeness. CoRR (2018)
Florian Kammüller
Attack Trees in Isabelle. ICICS (2018)
Florian Kammüller, Christian W. Probst
Modeling and Verification of Insider Threats Using Logical Analysis. IEEE Syst. J. 11 (2) (2017)
Florian Kammüller
Formal Modeling and Analysis with Humans in Infrastructures for IoT Health Care Systems. HCI (22) (2017)
Florian Kammüller, Juan Carlos Augusto, Simon Jones
Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. SERA (2017)
Florian Kammüller
A Proof Calculus for Attack Trees in Isabelle. DPM/CBT@ESORICS (2017)
Florian Kammüller, Manfred Kerber, Christian W. Probst
Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 8 (1) (2017)
Florian Kammüller
Human Centric Security and Privacy for the IoT Using Formal Techniques. AHFE (9) (2017)
Florian Kammüller, Jason R. C. Nurse, Christian W. Probst
Attack Tree Analysis for Insider Threats on the IoT Using Isabelle. HCI (20) (2016)
Florian Kammüller
Isabelle Modelchecking for Insider Threats. DPM/QASA@ESORICS (2016)
Florian Kammüller, Manfred Kerber
Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling. IEEE Symposium on Security and Privacy Workshops (2016)
Florian Kammüller
Refactoring Preserves Security. DPM/QASA@ESORICS (2016)
Christian W. Probst, Florian Kammüller, René Rydhof Hansen
Formal Modelling and Analysis of Socio-Technical Systems. Semantics, Logics, and Calculi (2016)
Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
Transforming Graphical System Models to Graphical Attack Models. GraMSec@CSF (2015)
Taolue Chen, Florian Kammüller, Ibrahim Nemli, Christian W. Probst
A Probabilistic Analysis Framework for Malicious Insider Threats. HCI (22) (2015)
Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
Attack Tree Generation by Policy Invalidation. WISTP (2015)
Steffen Helke, Florian Kammüller, Christian W. Probst
Secure Refactoring with Java Information Flow. DPM/QASA@ESORICS (2015)
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
Formalization of Quantum Protocols using Coq. QPL (2015)
Florian Kammüller, Christian W. Probst
Invalidating Policies using Structural Information. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 5 (2) (2014)
Jaap Boender, Marieta Georgieva Ivanova, Florian Kammüller, Giuseppe Primiero
Modeling Human Behaviour with Higher Order Logic: Insider Threats. STAST (2014)
Florian Kammüller, Christian W. Probst
Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis. IEEE Symposium on Security and Privacy Workshops (2014)
Florian Kammüller
Verification of DNSsec Delegation Signatures. ICT (2014)
Florian Kammüller, Sören Preibusch
Privacy Analysis of a Hidden Friendship Protocol. DPM/SETOP (2013)
Florian Kammüller, Yoney Kirsal Ever, Xiaochun Cheng
DNSsec in Isabelle - Replay Attack and Origin Authentication. SMC (2013)
Alwaleed Alghothami, Florian Kammüller
Network Information Flow Control: Proof of Concept. SMC (2013)
Florian Kammüller, Christian W. Probst
Invalidating Policies using Structural Information. IEEE Symposium on Security and Privacy Workshops (2013)
Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
Externalizing Behaviour for Analysing System Models. J. Internet Serv. Inf. Secur. 3 (3/4) (2013)
Ludovic Henrio, Florian Kammüller, Bianca Lutz
: A typed functional active object calculus. Sci. Comput. Program. 77 (7-8) (2012)
Florian Kammüller
A Semi-lattice Model for Multi-lateral Security. DPM/SETOP (2012)
Florian Kammüller
Mechanical Analysis of Finite Idempotent Relations. Fundam. Informaticae 107 (1) (2011)
Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof
Locally Nameless Sigma Calculus. Arch. Formal Proofs 2010 (2010)
Florian Kammüller
Privacy Enforcement and Analysis for Functional Active Objects. DPM/SETOP (2010)
Florian Kammüller, Alexander Rein, Mark-Oliver Reiser
Feature link propagation across variability representations with Isabelle/HOL. PLEASE@ICSE (2010)
Steffen Helke, Florian Kammüller
Formalizing Statecharts using Hierarchical Automata. Arch. Formal Proofs 2010 (2010)
Ludovic Henrio, Florian Kammüller
Functional Active Objects: Typing and Formalisation. Electron. Notes Theor. Comput. Sci. 255 (2009)
Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan
A Framework for Reasoning on Component Composition. FMCO (2009)
Florian Kammüller, Henry Sudhof
Composing Safely - A Type System for Aspects. SC@ETAPS (2008)
Florian Kammüller
Formalizing non-interference for a simple bytecode language in Coq. Formal Aspects Comput. 20 (3) (2008)
Florian Kammüller, Henry Sudhof
Compositionality of Aspect Weaving. SJTU-TUB Joint Workshop (2008)
Florian Kammüller, Sören Preibusch
An industrial application of symbolic model checking. Inform. Forsch. Entwickl. 22 (2) (2008)
Ludovic Henrio, Florian Kammüller, Marcela Rivera
An Asynchronous Distributed Component Model and Its Semantics. FMCO (2008)
Ludovic Henrio, Florian Kammüller
A Mechanized Model of the Theory of Objects. FMOODS (2007)
Sören Preibusch, Florian Kammüller
Checking the TWIN Elevator System by Translating Object-Z to SMV. FMICS (2007)
Steffen Helke, Florian Kammüller
Structure Preserving Data Abstractions for Statecharts. FORTE (2005)
Florian Kammüller, Jeff W. Sanders
Heuristics for Refinement Relations. SEFM (2004)
Florian Kammüller, Jeff W. Sanders
Idempotent Relations in Isabelle/HOL. ICTAC (2004)
Margot Bittner, Florian Kammüller
Translating Fusion/UML to Object-Z. MEMOCODE (2003)
Florian Kammüller
Book Reviews. Softw. Test. Verification Reliab. 12 (3) (2002)
Graeme Smith, Florian Kammüller, Thomas Santen
Encoding Object-Z in Isabelle/HOL. ZB (2002)
Jochen Burghardt, Florian Kammüller, Jeff W. Sanders
On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79 (2) (2001)
Steffen Helke, Florian Kammüller
Representing Hierarchical Automata in Interactive Theorem Provers. TPHOLs (2001)
Florian Kammüller
Modular Reasoning in Isabelle. CADE (2000)
Florian Kammüller, Lawrence C. Paulson
A Formal Proof of Sylow's Theorem. J. Autom. Reason. 23 (3-4) (1999)
Florian Kammüller, Markus Wenzel, Lawrence C. Paulson
Locales - A Sectioning Concept for Isabelle. TPHOLs (1999)
Florian Kammüller
Modular Structures as Dependent Types in Isabelle. TYPES (1998)