Scraping Bits cover image

#22 - Leo Alt: Leading Ethereum's Formal Verification + CoFounding Powdr Labs

Scraping Bits

00:00

Automating the Manual Process of Detecting Critical Vulnerabilities

The speaker discusses the process of automating the manual process of detecting critical vulnerabilities in code, emphasizing the use of visualization tools and FV tools. They highlight the challenges involved in fully automating the visualization process and the importance of intuition and experience. They also mention the potential of building a fuzzer or an FE tool for automating the entire security process.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app