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

Scraping Bits by DeGatchi

Episode notes

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 simpl ... 

 ...  Read more