# Security Summit 🦺 Formal Verification with DeFi

- Channel: [ETHGlobal](https://streameth.org/ethglobal)
- Date: 2024-10-07
- Duration: 20:09
- Watch: https://streameth.org/watch/yt-Mp01EjWnMG8
- YouTube: https://www.youtube.com/watch?v=Mp01EjWnMG8

## Description

Join Sameer Arora for their Security Summit talk titled, "Formal Verification with DeFi". This Summit is part of ETHGlobal's flagship online event: ETHOnline 2023, one of the most exciting events on our calendar, anticipated by hackers all over the world.

ETHOnline is a three week long online hackathon with over $200,000 USD in prizes as well as a series of curated summits, celebrating some of the most significant happenings & learnings from the past 12 months in web3.

-----------------

Follow us: https://twitter.com/ETHGlobal​
Check us out: https://ethglobal.co​m
Email us at: hello@ethglobal.com