13 citations · 29 across the 9 of their papers we have counts for
4 papers · 2 filters
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…
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…
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…