使用Player FM应用程序离线!
#82 - Nat: Static & Dynamic Analysis, Formal Verification, Trail Of Bits Auditing, Stateful Testing
Manage episode 418199944 series 3509704
In this episode of the Trail of Bits podcast, host Nat Chin guides listeners through the complex and critical realms of static and dynamic analysis, formal verification, and the comprehensive auditing processes employed at Trail of Bits. With the expertise of a panel of seasoned engineer-consultants from Trail of Bits, the discussion illuminates the intricate methodologies that underpin cybersecurity. The episode explores how static analysis helps in scrutinizing code without execution to catch vulnerabilities early, while dynamic analysis observes the code's behavior in real-time to identify runtime issues. Formal verification is also discussed, showcasing its role in ensuring that software systems meet rigorous correctness criteria through mathematical proofs. The panel also dives into the nuanced layers of Trail of Bits' auditing processes, which blend these techniques to fortify software security. This deep dive not only sheds light on the technical processes but also on how these methodologies are practically applied in the field to enhance the security posture of various software systems.
- Follow Scraping Bits on Twitter: https://x.com/scrapingbits
- Your Host, DeGatchi: https://x.com/DeGatchi
- Guest Speaker: https://x.com/0xicingdeath
Please support this podcast by checking out our sponsors:
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.
113集单集
Manage episode 418199944 series 3509704
In this episode of the Trail of Bits podcast, host Nat Chin guides listeners through the complex and critical realms of static and dynamic analysis, formal verification, and the comprehensive auditing processes employed at Trail of Bits. With the expertise of a panel of seasoned engineer-consultants from Trail of Bits, the discussion illuminates the intricate methodologies that underpin cybersecurity. The episode explores how static analysis helps in scrutinizing code without execution to catch vulnerabilities early, while dynamic analysis observes the code's behavior in real-time to identify runtime issues. Formal verification is also discussed, showcasing its role in ensuring that software systems meet rigorous correctness criteria through mathematical proofs. The panel also dives into the nuanced layers of Trail of Bits' auditing processes, which blend these techniques to fortify software security. This deep dive not only sheds light on the technical processes but also on how these methodologies are practically applied in the field to enhance the security posture of various software systems.
- Follow Scraping Bits on Twitter: https://x.com/scrapingbits
- Your Host, DeGatchi: https://x.com/DeGatchi
- Guest Speaker: https://x.com/0xicingdeath
Please support this podcast by checking out our sponsors:
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.
113集单集
Alle episoder
×欢迎使用Player FM
Player FM正在网上搜索高质量的播客,以便您现在享受。它是最好的播客应用程序,适用于安卓、iPhone和网络。注册以跨设备同步订阅。