Hashing It Out #53 โ€“ Trail of Bits – Dan Guido

Dan Guido, CEO of Trail of Bits, comes on the air with us to talk about how tooling is evolving in smart contract security, the landscape of security auditing today, and we have the opportunity to congratulate him on being named a leader in Forrester Research’s Midsize Cybersecurity Consulting Services, Q2 2019 report. We go over advancements in fuzzing, static analysis, formal verification, and some interesting and unexpected problems found in smart contracts.

Forrester Wave Blogpost
What blockchain got right – slides
Zeppelin forum for DSChief bug
Anatomy of unsafe smart contracts
Trail of Bits Twitter