Metatrack: Bernhard Mueller
Channel: Parallele Polis
Date: 02/05/2020

Detecting Defi bugs and arbitrage opportunities using symbolic execution!


DeFi Security Demo!

https://github.com/b-mueller/scrooge-mcetherface