research
∙
01/06/2020
Runtime Verification of Linux Kernel Security Module
The Linux kernel is one of the most important Free/Libre Open Source Sof...
research
∙
11/14/2018
Lemma Functions for Frama-C: C Programs as Proofs
This paper describes the development of an auto-active verification tech...
research
∙
09/03/2018