Florian Kammüller
Middlesex University
H-index: 17
Europe-United Kingdom
Top articles of Florian Kammüller
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security | arXiv preprint arXiv:2312.17555 | Florian Kammüller | 2023/12/29 |
Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle | Florian Kammüller | 2023/9/25 | |
Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems | Archive of Formal Proof | Florian Kammueller | 2023/9/13 |
Explanation of Student Attendance AI Prediction with the Isabelle Infrastructure Framework | Information | Florian Kammüller Dimpy Satija | 2023/8/10 |
Explanation by automated reasoning using the Isabelle Infrastructure framework | Florian Kammüller | 2022/6/26 | |
Exploring rationality of self awareness in social networking for logical modeling of unintentional insiders | Florian Kammüller Chelsea Mira Alvarado | 2022/6/16 | |
Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems | Computational Intelligence | Gayathri Karthick Glenford Mapp Florian Kammueller Mahdi Aiash | 2022/6 |
Explanation of black box ai for gdpr related privacy using isabelle | Florian Kammüller | 2022/9/26 | |
Masterminding change by combining secure system design with security risk assessment | Florian Kammüller Axel Legay Stefano Schivo | 2021/2 | |
Dependability engineering in Isabelle | arXiv preprint arXiv:2112.04374 | Florian Kammüller | 2021/12/8 |
Applying the Isabelle insider framework to airplane security | Science of Computer Programming | Florian Kammüller Manfred Kerber | 2021/6/1 |
Describing and Simulating Concurrent Quantum Systems | Richard Bornat Jaap Boender Florian Kammueller Guillaume Poly Rajagopal Nagarajan | 2020/4/17 | |
A formal development cycle for security engineering in isabelle | arXiv preprint arXiv:2001.08983 | Florian Kammüller | 2020/1/4 |
Modeling and analyzing the corona-virus warning app with the Isabelle infrastructure framework | Florian Kammüller Bianca Lutz | 2020 | |
Inter-blockchain protocols with the Isabelle infrastructure framework | Florian Kammüller Uwe Nestmann | 2020 | |
Edit distance kernelization of np theorem proving for polynomial-time machine learning of proof heuristics | David Windridge Florian Kammüller | 2020 |