Smashing Ethereum Smart Contracts for Fun and Real Profit
Writeup, presentation and supplemental materials as presented at HITBSecConf 2018.
A writeup on security analysis of Ethereum smart contracts using symbolic execution and constraint solving.
HTML
Writeup, presentation and supplemental materials as presented at HITBSecConf 2018.