How to steal millions from formally verified contracts

Thu 16Dec2021

Hubert Ritzdorf, ChainSecurity

From 12.30 until 13.30



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.

Join us on Zoom at

Download Event to Calendar