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

Modern cryptocurrencies exploit decentralised blockchains to record a public and unalterable history of transactions. Besides transactions, further metadata is stored for diļ¬€erent, and often undisclosed, purposes. Metadata is mostly generated by protocols and smart contracts, i.e. programs whose correct execution is automatically enforced without relying on a trusted authority. This project investigates tools and techniques for analysing blockchains, their metadata, and smart contracts, focussing on Bitcoin and Ethereum...

View Project