Projects

Security of Ethereum Smart Contracts

We analyse the security vulnerabilities of Ethereum smart contracts, providing a taxonomy of common programming pitfalls which may lead to vulnerabilities. We show a series of attacks which exploit these vulnerabilities, allowing an adversary to steal money or cause other damage.

View Project

Blockchain Analytics Tools

Modern cryptocurrencies exploit decentralised blockchains to record a public and unalterable history of transactions. Besides transactions, further information is stored for different, and often undisclosed, purposes, making the blockchains a rich and increasingly growing source of valuable information, in part of difficult interpretation. Many data analytics studies have been carried out, mostly based on specifically designed and ad-hoc engineered approaches....

View Project

Analysis of Bitcoin metadata

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 exploit this feature to extend the range of applications of the Bitcoin blockchain beyond transfer of currency. A point of debate in the Bitcoin community is whether loading data through OP RETURN can negatively affect the performance of the Bitcoin network with respect to its primary goal. This project is an empirical study of the usage of OP_RETURN over the years...