Dive into the intricate world of smart contract security and formal verification techniques in episode 61 of the Scraping Bits Podcast with your host DeGatchi. Joining him is the esteemed expert Palina, as they unravel the complexities of smart contract symbolic execution, SMT formal verification, and fuzzing techniques.

In this enlightening episode, Palina shares her deep insights into the cutting-edge methods employed to ensure the robustness and security of smart contracts deployed on blockchain networks. From symbolic execution strategies that uncover hidden vulnerabilities to SMT formal verification techniques that rigorously validate contract logic, listeners will gain invaluable knowledge about the forefront of smart contract security research.

Whether you're a seasoned blockchain developer, a cybersecurity enthusiast, or simply curious about the inner workings of decentralized applications, this episode offers a fascinating exploration of the tools and methodologies shaping the future of smart contract development and security.

Tune in to Scraping Bits Podcast #61 to stay ahead of the curve and discover the latest advancements in smart contract symbolic execution, SMT formal verification, and fuzzing techniques with Palina and DeGatchi.

Follow Scraping Bits on Twitter: https://twitter.com/scrapingbits

Your Host, DeGatchi: https://twitter.com/DeGatchi

Guest Speaker: https://x.com/palinatolmach

Keywords: solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.

#64 - Palina Tolmach: Smart Contract SMT Formal Verification, Symbolic Execution & Fuzzing 58:46 Share

Scraping Bits

Shownotes Transcript

#64 - Palina Tolmach: Smart Contract SMT Formal Verification, Symbolic Execution & Fuzzing