3 citations · 3 across the 1 of their papers we have counts for
3 papers
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…
Decentralization in Open Quorum Systems
Andrea Bracciali, Davide Grossi, Ronald de Haan
Decentralisation is one of the promises introduced by blockchain technologies: fair and secure interaction amongst peers with no dominant positions, single points of failure or cen…
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…