| 2025 | HCI | A Privacy-Preserving Framework Enhancing University Student Engagement Using Machine Learning and Gamification. | Kelly Androutsopoulos, Can Baskent, Florian Kammller, Giacomo Nalli, Luca Piras, Halil Yetgin |
| 2025 | SMC | Formalisation and Analysis of Decoy QKD in the Isabelle Infrastructure and Insider framework using Refinement and Attack Trees. | Florian Kammller, Rajagopal Nagarajan, Michael C. Parker, Catherine White |
| 2024 | ESORICS | Formalizing Federated Learning and Differential Privacy for GIS Systems in IIIf. | Florian Kammller, Luca Piras, Bob Fields, Rajagopal Nagarajan |
| 2023 | ESORICS | Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle. | Florian Kammller |
| 2022 | ESORICS | Explanation of Black Box AI for GDPR Related Privacy Using Isabelle. | Florian Kammller |
| 2022 | HCI | Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework. | Florian Kammller |
| 2022 | HCI | Exploring Rationality of Self Awareness in Social Networking for Logical Modeling of Unintentional Insiders. | Florian Kammller, Chelsea Mira Alvarado |
| 2020 | CAV | Inter-Blockchain Protocols with the Isabelle Infrastructure Framework. | Florian Kammller, Uwe Nestmann |
| 2020 | ESORICS | Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework. | Florian Kammller, Bianca Lutz |
| 2019 | PERCOM | Combining Secure System Design with Risk Assessment for IoT Healthcare Systems. | Florian Kammller |
| 2018 | ICICS | Attack Trees in Isabelle. | Florian Kammller |
| 2017 | ESORICS | A Proof Calculus for Attack Trees in Isabelle. | Florian Kammller |
| 2017 | HCI | Formal Modeling and Analysis with Humans in Infrastructures for IoT Health Care Systems. | Florian Kammller |
| 2017 | SERA | Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. | Florian Kammller, Juan Carlos Augusto, Simon Jones |
| 2016 | ESORICS | Isabelle Modelchecking for Insider Threats. | Florian Kammller |
| 2016 | ESORICS | Refactoring Preserves Security. | Florian Kammller |
| 2016 | HCI | Attack Tree Analysis for Insider Threats on the IoT Using Isabelle. | Florian Kammller, Jason R. C. Nurse, Christian W. Probst |
| 2016 | SP | Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling. | Florian Kammller, Manfred Kerber |
| 2015 | ESORICS | Secure Refactoring with Java Information Flow. | Steffen Helke, Florian Kammller, Christian W. Probst |
| 2015 | HCI | A Probabilistic Analysis Framework for Malicious Insider Threats. | Taolue Chen, Florian Kammller, Ibrahim Nemli, Christian W. Probst |
| 2015 | WISTP | Attack Tree Generation by Policy Invalidation. | Marieta Georgieva Ivanova, Christian W. Probst, Ren Rydhof Hansen, Florian Kammller |
| 2014 | SP | Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis. | Florian Kammller, Christian W. Probst |
| 2013 | ESORICS | Privacy Analysis of a Hidden Friendship Protocol. | Florian Kammller, Sren Preibusch |
| 2013 | SMC | Network Information Flow Control: Proof of Concept. | Alwaleed Alghothami, Florian Kammller |
| 2013 | SMC | DNSsec in Isabelle - Replay Attack and Origin Authentication. | Florian Kammller, Yoney Kirsal Ever, Xiaochun Cheng |
| 2013 | SP | Invalidating Policies using Structural Information. | Florian Kammller, Christian W. Probst |
| 2012 | ESORICS | A Semi-lattice Model for Multi-lateral Security. | Florian Kammller |
| 2010 | ESORICS | Privacy Enforcement and Analysis for Functional Active Objects. | Florian Kammller |
| 2010 | ICSE | Feature link propagation across variability representations with Isabelle/HOL. | Florian Kammller, Alexander Rein, Mark-Oliver Reiser |
| 2007 | FMICS | Checking the TWIN Elevator System by Translating Object-Z to SMV. | Sren Preibusch, Florian Kammller |
| 2005 | FORTE | Structure Preserving Data Abstractions for Statecharts. | Steffen Helke, Florian Kammller |
| 2004 | ICTAC | Idempotent Relations in Isabelle/HOL. | Florian Kammller, Jeff W. Sanders |
| 2004 | SEFM | Heuristics for Refinement Relations. | Florian Kammller, Jeff W. Sanders |
| 2003 | MEMOCODE | Translating Fusion/UML to Object-Z. | Margot Bittner, Florian Kammller |
| 2000 | CADE | Modular Reasoning in Isabelle. | Florian Kammller |