13 citations · 28 across the 6 of their papers we have counts for
6 papers · 1 filter
SoK: Lending Pools in Decentralized Finance
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Lending pools are decentralized applications which allow mutually untrusted users to lend and borrow crypto-assets. These applications feature complex, highly parametric incentive…
Computationally sound Bitcoin tokens
Massimo Bartoletti, Stefano Lande, Roberto Zunino
We propose a secure and efficient implementation of fungible tokens on Bitcoin. Our technique is based on a small extension of the Bitcoin script language, which allows the spendin…
Proceedings 13th Interaction and Concurrency Experience
Julien Lange, Anastasia Mavridou, Larisa Safina +1
This volume contains the proceedings of ICE'20, the 13th Interaction and Concurrency Experience, which was held online on the 19th of June 2020, as a satellite event of DisCoTec'20…
A formal model of Algorand smart contracts
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore +2
We develop a formal model of Algorand stateless smart contracts (stateless ASC1.) We exploit our model to prove fundamental properties of the Algorand blockchain, and to establish…
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…
Renegotiation and recursion in Bitcoin contracts
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
BitML is a process calculus to express smart contracts that can be run on Bitcoin. One of its current limitations is that, once a contract has been stipulated, the participants can…