2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.CR2020
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…
cs.CR2019
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…
cs.SE2019★ 2 cited
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…