IT-SECX 2019 | Bernhard Mueller: Smashing Smart Contracts

Smashing Smart Contracts Bernhard Mueller | ConsenSys In this talk, we’ll shed light on the various types of flaws that occur in smart contracts on the Ethereum Blockchain. We’ll demonstrate how to detect vulnerabilities in smart contract binary code using symbolic execution and how to auto-generate exploits using concretisation. We‘ll also talk about the war raging between hackers, honeypot creators and front-running bots that are constantly trying to steal cryptocurrency from each other.