research
∙
12/29/2021
Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework
In this paper, we propose the use of interactive theorem proving for exp...
research
∙
12/08/2021
Dependability Engineering in Isabelle
In this paper, we introduce a process of formal system development suppo...
research
∙
11/30/2021
Exploring rationality of self awareness in social networking for logical modeling of unintentional insiders
Unawareness of privacy risks together with approval seeking motivations ...
research
∙
03/26/2020
Applying the Isabelle Insider Framework to Airplane Security
Avionics is one of the fields in which verification methods have been pi...
research
∙
01/04/2020
A Formal Development Cycle for Security Engineering in Isabelle
In this paper, we show a security engineering process based on a formal ...
research
∙
05/01/2019
QKD in Isabelle -- Bayesian Calculation
In this paper, we present a first step towards a formalisation of the Qu...
research
∙
01/08/2019
Designing Data Protection for GDPR Compliance into IoT Healthcare Systems
In this paper, we investigate the implications of the General Data Priva...
research
∙
03/17/2018
Attack Trees in Isabelle
In this paper, we present a proof theory for attack trees. Attack trees ...
research
∙
03/17/2018