OwlTail

Cover image of Dan Guido

Dan Guido

5 Podcast Episodes

Latest 12 Jun 2021 | Updated Daily

Weekly hand curated podcast episodes for learning

Episode artwork

#6: Dan Guido - What the hell are the blockchain people doing, and why isn't it a dumpster fire?

Building Better Systems

Dan Guido, CEO of Trail of Bits, walks us through how they work with customers to make long-term improvements in security and software quality. He also describes what blockchain has done right, and how the rest of the software world should learn from them.You can watch this episode on our Youtube Channel. https://youtube.com/c/BuildingBetterSystemsPodcastJoey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/  Dan Guido: https://www.linkedin.com/in/danguido/Trail of Bits blog: https://blog.trailofbits.com/Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com

1hr 1min

4 Feb 2021

Episode artwork

Dan Guido: Trail of Bits – The Evolution of Smart Contract Security

Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies

Just like all software, smart contracts on the blockchain are subject to serious security vulnerabilities and coding errors. The fact however that smart contracts are often directly in charge of assets and cannot be changed once they are on the blockchain, makes secure development and running essential. Some smart contract platforms have their own languages, for example Solidity in Ethereum. Bugs and vulnerabilities in the source code, and errors in the virtual machines used by the network, are the main reasons behind security issues in smart contracts.Projects using blockchain applications should expect constant changes in the security landscape. New bugs, security risks, and best practices will continue to emerge over time. Trail of Bits is a software security firm who advise in a range of industries for some top companies, including in the blockchain space. They are experts at identifying top-level risks and implementation vulnerabilities, and providing essential recommendations on best practices. Dan Guido, the CEO and Co-founder, explains all things software security in a really detailed and technical, yet easy to digest way. We also recommend you check out their exceptional blog packed with invaluable resources.Topics covered in this episode:Dan’s background and how he came to create Trail of BitsWhat led Dan into the blockchain fieldHow security software has changed over the last 20 yearsThe unique challenges for security on blockchain and smart contract protocolsSmart contract languages and securitySlither - Trail of Bits’s suite of Ethereum based security toolsDan’s opinion on Solidity’s future and Vyper as an alternativeFormally Verified LanguagesA use case on how Trail of Bits worksWorking with upgradeable contractsComposability and securityAre compilers trustworthy?Other security issues in the blockchain space as DeFi growsThe future of software security and the role of AIEpisode links: Trail of Bits WebsiteAnatomy of an Unsafe Smart Contract Programming LanguageSlither, GithubSlither: The Leading Static Analyzer for Smart Contracts246 Findings From our Smart Contract Audits: An Executive SummaryRapid Risk Assessment (RRA)Our Full Report on the Voatz Mobile Voting PlatformA Guide to Post-Quantum CryptographyBSides Lisbon 2016 - Keynote - The Smart Fuzzer Revolution by Dan GuidoThe Smart Fuzzer RevolutionTrail of Bits TwitterDan Guido TwitterThis episode is hosted by Sebastien Couture & Friederike Ernst. Show notes and listening options: epicenter.tv/346

1hr 5mins

30 Jun 2020

Similar People

Episode artwork

Hashing It Out #53 - Trail of Bits - Dan Guido

Hashing It Out

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

57mins

18 Jul 2019

Episode artwork

Hashing It Out #53 - Trail of Bits - Dan Guido

Hashing It Out

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

57mins

18 Jul 2019

Most Popular

Episode artwork

Hashing It Out #53 - Trail of Bits - Dan Guido

The Bitcoin Podcast

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 contracts Trail of Bits Twitter Donate https://donate.hashingitout.stream

57mins

18 Jul 2019