Florian Kammüller

82 papers A 2B 4C 7Journal 28Unranked 38

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