13 citations · 28 across the 6 of their papers we have counts for
3 papers · 1 filter
A minimal core calculus for Solidity contracts
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
The Ethereum platform supports the decentralized execution of smart contracts, i.e. computer programs that transfer digital assets between users. The most common language used to d…
Developing secure Bitcoin contracts with BitML
Nicola Atzei, Massimo Bartoletti, Stefano Lande +2
We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart co…
A true concurrent model of smart contracts executions
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrenc…