))
Smart Contract Security Using Certora Prover with Chandrakana Nandi
Manage episode 408636580 series 3564007
Indhold leveret af cyfrin. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af cyfrin eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.
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 Certora is revolutionizing blockchain security with its innovative tools and methodologies. Don't miss this exclusive session for an in-depth look at the future of smart contract verification and security
14 episoder
Del
