In this talk, I will investigate recent incidents, and shed light on the various types of flaws that occur in Ethereum smart contracts. Ill show how to explore the blockchain and reverse engineer smart contract binary code using Mythril, the nmap of Ethereum. I’ll also demonstrate the use of symbolic analysis to detect different types of vulnerabilities, including those resulting from inter-contract calls. Finally, I’ll show. how to autogenerate. exploits using the Z3 solver.”]