2 citations · 3 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…