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.

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

Donate
– https://donate.hashingitout.stream