14 citations · 21 across the 3 of their papers we have counts for
3 papers
Formal Verification of Solidity contracts in Event-B
Jian Zhu, Kai Hu, Mamoun Filali +2
Smart contracts are the artifact of the blockchain that provide immutable and verifiable specifications of physical transactions. Solidity is a domain-specific programming language…
LIO*: Low Level Information Flow Control in F*
Jean-Joseph Marty, Lucas Franceschino, Jean-Pierre Talpin +1
We present Labeled Input Output in F* (LIO*), a verified framework that enforces information flow control (IFC) policies developed in F* and automatically extracted to C. Inspired…
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
Simon Lunel, Stefan Mitsch, Benoit Boyer +1
Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart…