Our study is the first that is based on the entire body of deployed bytecode on Ethereum's main chain.
Cryptography and Security Software Engineering
In this paper, we present Vandal: a security analysis framework for Ethereum smart contracts.
Programming Languages
Ethereum holds multiple billions of U. S. dollars in the form of Ether cryptocurrency and ERC-20 tokens, with millions of deployed smart contracts algorithmically operating these funds.
Cryptography and Security