3 citations · 3 across the 1 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2020
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…
cs.CR2017
A general framework for blockchain analytics
Massimo Bartoletti, Andrea Bracciali, Stefano Lande +1
Modern cryptocurrencies exploit decentralised blockchains to record a public and unalterable history of transactions. Besides transactions, further information is stored for differ…