How to steal millions from formally verified contracts

Thu 16Dec2021
Since June 2016 you need to have a valid API key enabled to display Google maps, see plugin settings

Hubert Ritzdorf, ChainSecurity

From 12.30 until 13.30

At https://ethz.zoom.us/j/67292372519

https://ethz.zoom.us/j/67292372519

Abstract:

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 https://ethz.zoom.us/j/67292372519.

Download Event to Calendar