Deep Dive into Formal Verification with Palina Tolmach

Cyfrin Audits Podcast

Player FM - Internet Radio Done Right

تمت الإضافة منذ fifty أسبوع

المحتوى المقدم من cyfrin. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة cyfrin أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.

American Criminal

1
The Menendez Brothers | Five-Year Plan | 1 43:56

منذ 1 year43:56

التشغيل لاحقا

قوائم

إعجاب

احب

43:56

On August 20th, 1989, Lyle and Erik Menendez shot and killed their own parents. Until then, this Beverly Hills family had been a portrait of the American Dream. How did it go so wrong? To listen to all four episodes of 'The Menendez Brothers' right now and ad-free, go to IntoHistory.com . Subscribers enjoy uninterrupted listening, early releases, bonus content and more, only available at IntoHistory.com . If you or someone you know is in crisis, there is free help available at mhanational.org Learn more about your ad choices. Visit megaphone.fm/adchoices…

منذ عام واحد 52:13

MP3•منزل الحلقة

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 and reliability. Palina Tolmach brings expert insights into the sophisticated techniques and tools used in formal verification. Don't miss this opportunity to learn about the cutting-edge methods that are crucial for the integrity and security of blockchain technologies. Tune in to this live interview for a comprehensive understanding of how Runtime Verification is shaping the landscape of smart contract verification.

14 حلقات

#Tech #Cyfrin

Cyfrin Audits Podcast

Deep Dive into Formal Verification with Palina Tolmach

Cyfrin Audits Podcast

published منذ عام واحد

MP3•منزل الحلقة

14 حلقات

#Tech #Cyfrin

كل الحلقات

Cyfrin Audits Podcast

1
TxFusion - Tools and Products to improve your ZK experience | PatrickAlphaC 42:49

منذ 42 weeks42:49

42:49

🎙️ 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 forget to visit our webpage too: https://www.cyfrin.io/ For more exciting content and updates! 🌐 Subscribe, like, and hit that notification bell so you never miss an update from us! 📢…

Cyfrin Audits Podcast

1
Edit mode for Smart Contracts with GhostLogs | PatrickAlphaC 43:07

منذ 44 weeks43:07

43:07

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 already deployed contracts. 🌏 Check them out on their webpage: https://ghostlogs.xyz…

Cyfrin Audits Podcast

1
Fuzzing and Heuristics interview with @devdacian 54:50

منذ 49 weeks54:50

54:50

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 Fuzzing and Heuristics in smart contract auditing.

Cyfrin Audits Podcast

1
Smart Contract Security Using Certora Prover with Chandrakana Nandi 54:11

منذ 49 weeks54:11

54:11

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…

Cyfrin Audits Podcast

1
Live Vulnerability Management: Expert Talk with Michael Lewellen from OpenZeppelin | PatrickAlphaC 1:00:47

منذ 49 weeks1:00:47

1:00:47

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: Cyfrin: Click https://www.cyfrin.io/ OpenZeppelin:https://www.openzeppelin.com/ 📌 Don't be a stranger—drop in for a chat that'll upgrade your security skills and maybe save your next project from disaster. Subscribe and hit that reminder so you won't miss out!"…

Cyfrin Audits Podcast

1
Formal Verification on Halmos, a Python FV tool! | With Karma from a16z 55:50

منذ 49 weeks55:50

55:50

We speak about the Halmos tool, how Karma got into formal verification, and more. And some gym tips!

Cyfrin Audits Podcast

1
Rust smart contracts? Arbitrum Stylus interview with Rachel Bousfield 1:02:37

منذ 49 weeks1:02:37

1:02:37

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: https://www.codehawks.com/ Kickstart your web3 development journey completely for free: https://updraft.cyfrin.io SUBSCRIBE OR YOUR CONTRACTS WILL BE HACKED follow all of these or you’re missing out: • Cyfrin Twitter - https://twitter.com/CyfrinAudits • LinkedIn -https://www.linkedin.com/company/cyfrin/ • Discord - discord.gg/cyfrin • Request an audit! - https://cyfrin.io…

Cyfrin Audits Podcast

1
What is MindNetwork? /w Christian Head of DB & Marketing at Mind Network 1:02:31

منذ 49 weeks1:02:31

1:02:31

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 up with Christian, Mind Network's Head of DB & Marketing.…

Cyfrin Audits Podcast

منذ 50 weeks44:40

44:40

We go over: - Formal Verification - Symbolic Execution - Fuzzing - Static Analysis With Trail of Bits Head of Engineering, Josselin Feist! 🐦 Josselin: https://twitter.com/Montyly 📝 Secure Contracts: https://secure-contracts.com/ 🔵 Properties: https://github.com/crytic/properties 🦅 Manticore: https://github.com/trailofbits/manticore 🐍 Slither: https://github.com/crytic/slither 🦔 Echidna: https://github.com/crytic/echidna ⛨ Book a smart contract audit here! 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 https://cyfrin.io ☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️ Follow Cyfrin: Twitter: https://twitter.com/CyfrinAudits LinkedIn: https://www.linkedin.com/company/cyfrin/? YouTube: https://www.youtube.com/@UCwlGG-aBeR95seT49XetR8A Website: https://www.cyfrin.io/…

مرحبًا بك في مشغل أف ام!

يقوم برنامج مشغل أف أم بمسح الويب للحصول على بودكاست عالية الجودة لتستمتع بها الآن. إنه أفضل تطبيق بودكاست ويعمل على أجهزة اندرويد والأيفون والويب. قم بالتسجيل لمزامنة الاشتراكات عبر الأجهزة.

الاستماع إلى +500 موضوع

Mighty Patch™ Original patch from Hero Cosmetics - Hydrocolloid Acne Pimple Patch for Covering Zits and Blemishes in Face and Skin, Vegan-friendly and Not Tested on Animals (36 Count)

Lose Control

Clean Skin Club Clean Towels XL™, 100% USDA Biobased Face Towel, Disposable Face Towelette, Eczema Association Accepted, Makeup Remover Dry Wipes, Ultra Soft, 50 Ct, 1 Pack

المدونة الصوتية تستحق الاستماع

Cyfrin Audits Podcast « » Deep Dive into Formal Verification with Palina Tolmach

Deep Dive into Formal Verification with Palina Tolmach

المدونة الصوتية تستحق الاستماع

مرحبًا بك في مشغل أف ام!

Amazon Basics Hypoallergenic 100% Cotton Rounds, 100 Count

BIRDS OF A FEATHER [Explicit]

Nizoral Anti-Dandruff Shampoo with 1% Ketoconazole, Fresh Scent, 7 Fl Oz

PanOxyl Acne Foaming Wash Benzoyl Peroxide 10% Maximum Strength Antimicrobial, 5.5 Oz

دليل مرجعي سريع

Cyfrin Audits Podcast « »
Deep Dive into Formal Verification with Palina Tolmach