research
∙
10/07/2022
Femto-Containers: Lightweight Virtualization and Fault Isolation For Small Software Functions on Low-Power IoT Microcontrollers
Low-power operating system runtimes used on IoT microcontrollers typical...
share
research
∙
07/20/2021
Verified Functional Programming of an Abstract Interpreter
Abstract interpreters are complex pieces of software: even if the abstra...
research
∙
05/04/2020
Formal Verification of Solidity contracts in Event-B
Smart contracts are the artifact of the blockchain that provide immutabl...
research
∙
04/27/2020
LIO*: Low Level Information Flow Control in F*
We present Labeled Input Output in F* (LIO*), a verified framework that ...
research
∙
07/05/2019