How to steal millions from formally verified contracts

Decentralized Finance (DeFi) allows smart contracts to offer trustworthy and decentralized financial services. However, the trustworthiness of these systems depends on whether the human-readable specification and intent was correctly implemented. While these services handle billions of dollars, the security is still lacking. In this presentation we will examine the current state and why past approaches have failed. Lastly, we will discuss some meta-learnings about the transition from academia to a start-up environment.