2 citations · 3 across the 5 of their papers we have counts for
6 papers
Dependability Engineering in Isabelle
Florian Kammüller
In this paper, we introduce a process of formal system development supported by interactive theorem proving in a dedicated Isabelle framework. This Isabelle Infrastructure framewor…
Exploring rationality of self awareness in social networking for logical modeling of unintentional insiders
Florian Kammüller, Chelsea Mira Alvarado
Unawareness of privacy risks together with approval seeking motivations make humans enter too much detail into the likes of Facebook, Twitter, and Instagram. To test whether the ra…
A Formal Development Cycle for Security Engineering in Isabelle
Florian Kammüller
In this paper, we show a security engineering process based on a formal notion of refinement fully formalized in the proof assistant Isabelle. This Refinement-Risk Cycle focuses on…
QKD in Isabelle -- Bayesian Calculation
Florian Kammüller
In this paper, we present a first step towards a formalisation of the Quantum Key Distribution algorithm in Isabelle. We focus on the formalisation of the main probabilistic argume…
Designing Data Protection for GDPR Compliance into IoT Healthcare Systems
Florian Kammüller, Oladapo O. Ogunyanwo, Christian W. Probst
In this paper, we investigate the implications of the General Data Privacy Regulation (GDPR) on the design of an IoT healthcare system. On 25th May 2018, the GDPR has become mandat…
Confinement for Active Objects
Florian Kammueller
In this paper, we provide a formal framework for the security of distributed active objects. Active objects communicate asynchronously implementing method calls via futures. We bas…