14 citations · 26 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020★ 7 cited
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…
cs.CR2020
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…