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