BALZaC (Bitcoin Abstract Language, analyZer and Compiler) is an high-level language allows you to write transaction, verify their correctness, and compile them into actual Bitcoin transactions.
One of the typical scams that operate on Bitcoin are the so-called Ponzi schemes. These are fraudulent investments which repay users with the funds invested by new users that join the scheme, and implode when it is no longer possible to find new investments. We provide a classifier bases on our research, that can detect if a Bitcoin address is part of a Ponzi schema.
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
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...