Good podcast? Give it some love!
cyfrin
Cyfrin Audits PodcastEpisodes
Episodes of Cyfrin Audits Podcast
Mark All
Search Episodes...
๐๏ธ Check out our latest interview with @txFusion_io ๐ They're here to discuss a bunch of tools and products to improve the way you develop projects on the ZK ecosystem ๐ Learn more about Defender at https://www.txfusion.io/๐ป And don't fo
In this episode of the Cyfrin Podcast, @PatrickAlphaC will be interviewing the peeps at GhostLogs.xyz.GhostLogs in-Browser editor allows the injection of gasless events on existing smart contracts. Basically, it means adding an edit mode on al
Hey there! ๐ Welcome back to Cyfrin Interviews, where we chat with the brightest minds in blockchain. This time, our CEO Patrick Collins is hanging out with the smart contract audit wizard, @devdacian. They're diving into crucial topics of Fuz
Join us live as Patrick Collins interviews Chandrakana Nandi from Certora, a pioneer in smart contract security. Dive into the world of advanced smart contract auditing with insights from Certora's cutting-edge technologies. Discover how Certor
Get ready for a real talk on cracking the code of live vulnerabilities! This Monday at 2PM Eastern, we're chilling with Michael Lewellen from OpenZeppelin for a no-filter chat on what to do if you spot a sneaky bug in your code.๐ Check us out
We speak about the Halmos tool, how Karma got into formal verification, and more.And some gym tips!
In this live, we'll be diving into Arbitrum Stylus, an upgrade to Arbitrum Nitro chains allowing developers to create smart contracts in Rust, C, C++, or any WASM languages.Take part in our $350,000+ Smart Contract auditing competitions:http
Hey web3 enthusiasts! We're back with another banger of a live stream. This time, we're diving deep into Zero Trust tech with Mind Network! Our very own Patrick, CEO of Cyfrin and Chainlink advisor, will be in the interviewer's seat chatting it
Get ready for an enlightening live session as Patrick Collins interviews Palina Tolmach from Runtime Verification. This deep dive into the world of formal verification will explore how Runtime Verification is advancing smart contract security a
๐ Live Stream Alert: Exploring Formal Verification with HEVM๐๏ธ Host: Patrick Collins, CEO of Cyfrin๐ Special Guest: Mate Soos, Ethereum Foundation๐
Date & Time: 11th January 2024, 11 AM UTC๐ Tune in to Discover the Future of Smart Cont
Vyper competitive audit - Interview with Zach Obronthttps://twitter.com/zachobront
๐๏ธ Check out our latest interview with Raza Rython from the Scroll team!๐ They're here to discuss their L2 Solution for the Ethereum ecosystem, and you won't want to miss it!๐ Learn more about Scroll at:https://scroll.io/ ๐ป And do
We go over:- Testing methodologies- Fuzzing-Static AnalysisWith Trail of Bits Security Engineer, Troy!๐ฆ Troy: https://twitter.com/0xalpharush ๐ Secure Contracts: https://secure-contracts.com/ ๐ต Properties: https://github.com/crytic/
We go over:- Formal Verification- Symbolic Execution- Fuzzing- Static AnalysisWith Trail of Bits Head of Engineering, Josselin Feist!๐ฆ Josselin: https://twitter.com/Montyly๐ Secure Contracts: https://secure-contracts.com/ ๐ต Propert
Join Podchaser to...
- Rate podcasts and episodes
- Follow podcasts and creators
- Create podcast and episode lists
- & much more
Unlock more with Podchaser Pro
- Audience Insights
- Contact Information
- Demographics
- Charts
- Sponsor History
- and More!
- Account
- Register
- Log In
- Find Friends
- Resources
- Help Center
- Blog
- API
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More
- ยฉ 2024 Podchaser, Inc.
- Privacy Policy
- Terms of Service
- Contact Us