75 citations · 133 across the 8 of their papers we have counts for
5 papers · 1 filter
LLMs as verification oracles for Solidity
Massimo Bartoletti, Enrico Lipparini, Livio Pompianu
Ensuring the correctness of smart contracts is critical, as even subtle flaws can lead to severe financial losses. While bug detection tools able to spot common vulnerability patte…
Security checklists for Ethereum smart contract development: patterns and best practices
Lodovica Marchesi, Michele Marchesi, Livio Pompianu +1
In recent years Smart Contracts and DApps are becoming increasingly important and widespread thanks to the properties of blockchain technology. In most cases DApps are business cri…
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…
An empirical analysis of smart contracts: platforms, applications, and design patterns
Massimo Bartoletti, Livio Pompianu
Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their…
An analysis of Bitcoin OP_RETURN metadata
Massimo Bartoletti, Livio Pompianu
The Bitcoin protocol allows to save arbitrary data on the blockchain through a special instruction of the scripting language, called OP_RETURN. A growing number of protocols exploi…