30 citations · 98 across the 16 of their papers we have counts for
6 papers · 1 filter
Bitcoin covenants unchained
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Covenants are linguistic primitives that extend the Bitcoin script language, allowing transactions to constrain the scripts of the redeeming ones. Advocated as a way of improving t…
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…
Honesty by Typing
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto +1
We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises ma…
On the realizability of contracts in dishonest systems
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
We develop a theory of contracting systems, where behavioural contracts may be violated by dishonest participants after they have been agreed upon - unlike in traditional approache…
Contracts in distributed systems
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-…
Primitives for Contract-based Synchronization
Massimo Bartoletti, Roberto Zunino
We investigate how contracts can be used to regulate the interaction between processes. To do that, we study a variant of the concurrent constraints calculus presented in [1], feat…