Florian Kammüller
Orcid: 0000-0001-5839-5488Affiliations:
- Middlesex University, Department of Computer Science, London
- TU Berlin, Institute of Software Engineering and Theoretical Computer Science, Germany
According to our database1,
Florian Kammüller
authored at least 83 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Transparency vs Explanation of Machine Learning Algorithms: Perspectives from Recent Legal Proceedings.
Proceedings of the Progress in Artificial Intelligence, 2024
Analyzing Air-traffic Security using GIS-"blur' with Information Flow Control in the IIIf.
Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024
2023
Explanation of Student Attendance AI Prediction with the Isabelle Infrastructure Framework.
Inf., 2023
CoRR, 2023
Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle.
Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023
2022
Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems.
Comput. Intell., 2022
Exploring Rationality of Self Awareness in Social Networking for Logical Modeling of Unintentional Insiders.
Proceedings of the HCI for Cybersecurity, Privacy and Trust, 2022
Proceedings of the HCI International 2022 - Late Breaking Papers: Interacting with eXtended Reality and Artificial Intelligence, 2022
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2022
2021
Masterminding change by combining secure system design with security risk assessment.
Int. J. Softw. Tools Technol. Transf., 2021
Sci. Comput. Program., 2021
2020
Arch. Formal Proofs, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework.
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2020
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020
2019
CoRR, 2019
Comput. Secur., 2019
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019
2018
Formalization and Analysis of a Resource Allocation Security Protocol for Secure Service Migration.
Proceedings of the 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion, 2018
Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
Proceedings of the Information and Communications Security - 20th International Conference, 2018
2017
IEEE Syst. J., 2017
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017
Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle.
Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017
Formal Modeling and Analysis with Humans in Infrastructures for IoT Health Care Systems.
Proceedings of the Human Aspects of Information Security, Privacy and Trust, 2017
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2017
Proceedings of the Advances in Human Factors in Cybersecurity, 2017
2016
Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling.
Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016
Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2016
Proceedings of the Data Privacy Management and Security Assurance, 2016
Proceedings of the Data Privacy Management and Security Assurance, 2016
Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security), 2016
Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, 2016
Proceedings of the Semantics, Logics, and Calculi, 2016
2015
Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015
Proceedings of the Information Security Theory and Practice, 2015
Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2015
Proceedings of the Data Privacy Management, and Security Assurance, 2015
Proceedings of the Graphical Models for Security - Second International Workshop, 2015
2014
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014
Proceedings of the 2014 Workshop on Socio-Technical Aspects in Security and Trust, 2014
Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis.
Proceedings of the 35. IEEE Security and Privacy Workshops, 2014
Proceedings of the 21st International Conference on Telecommunications, 2014
2013
J. Internet Serv. Inf. Secur., 2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2013
2012
Sci. Comput. Program., 2012
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012
2011
Proceedings of the Communicability, Computer Graphics and Innovative Design for Interactive Systems, 2011
2010
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering, 2010
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2010
2009
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
2008
Inform. Forsch. Entwickl., 2008
Formal Aspects Comput., 2008
Proceedings of the Software Composition - 7th International Symposium, 2008
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008
2007
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
2005
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Theoretical Aspects of Computing, 2004
2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
2002
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002
2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
2000
1999
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999
1998
Proceedings of the Types for Proofs and Programs, 1998
1995
Proceedings of the KORSO, 1995