research
∙
07/31/2023
Towards Formal Verification of a TPM Software Stack
The Trusted Platform Module (TPM) is a cryptoprocessor designed to prote...
share
research
∙
07/31/2023
Verified Scalable Parallel Computing with Why3
BSML is a pure functional library for the multi-paradigm language OCaml....
research
∙
11/16/2021
Experience Report: Teaching Code Analysis and Verification Using Frama-C
Formal methods provide systematic and rigorous techniques for software d...
research
∙
08/24/2017