11 subscribers
התחל במצב לא מקוון עם האפליקציה Player FM !
פודקאסטים ששווה להאזין
בחסות


1 Throwing good parties and building community (w/ Priya Parker) 38:16
#64 - Palina Tolmach: Smart Contract SMT Formal Verification, Symbolic Execution & Fuzzing
Manage episode 406407657 series 3509704
Dive into the intricate world of smart contract security and formal verification techniques in episode 61 of the Scraping Bits Podcast with your host DeGatchi. Joining him is the esteemed expert Palina, as they unravel the complexities of smart contract symbolic execution, SMT formal verification, and fuzzing techniques.
In this enlightening episode, Palina shares her deep insights into the cutting-edge methods employed to ensure the robustness and security of smart contracts deployed on blockchain networks. From symbolic execution strategies that uncover hidden vulnerabilities to SMT formal verification techniques that rigorously validate contract logic, listeners will gain invaluable knowledge about the forefront of smart contract security research.
Whether you're a seasoned blockchain developer, a cybersecurity enthusiast, or simply curious about the inner workings of decentralized applications, this episode offers a fascinating exploration of the tools and methodologies shaping the future of smart contract development and security.
Tune in to Scraping Bits Podcast #61 to stay ahead of the curve and discover the latest advancements in smart contract symbolic execution, SMT formal verification, and fuzzing techniques with Palina and DeGatchi.
Follow Scraping Bits on Twitter: https://twitter.com/scrapingbits
Your Host, DeGatchi: https://twitter.com/DeGatchi
Guest Speaker: https://x.com/palinatolmach
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.
149 פרקים
Manage episode 406407657 series 3509704
Dive into the intricate world of smart contract security and formal verification techniques in episode 61 of the Scraping Bits Podcast with your host DeGatchi. Joining him is the esteemed expert Palina, as they unravel the complexities of smart contract symbolic execution, SMT formal verification, and fuzzing techniques.
In this enlightening episode, Palina shares her deep insights into the cutting-edge methods employed to ensure the robustness and security of smart contracts deployed on blockchain networks. From symbolic execution strategies that uncover hidden vulnerabilities to SMT formal verification techniques that rigorously validate contract logic, listeners will gain invaluable knowledge about the forefront of smart contract security research.
Whether you're a seasoned blockchain developer, a cybersecurity enthusiast, or simply curious about the inner workings of decentralized applications, this episode offers a fascinating exploration of the tools and methodologies shaping the future of smart contract development and security.
Tune in to Scraping Bits Podcast #61 to stay ahead of the curve and discover the latest advancements in smart contract symbolic execution, SMT formal verification, and fuzzing techniques with Palina and DeGatchi.
Follow Scraping Bits on Twitter: https://twitter.com/scrapingbits
Your Host, DeGatchi: https://twitter.com/DeGatchi
Guest Speaker: https://x.com/palinatolmach
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.
149 פרקים
כל הפרקים
×
1 #149 - Robert Ghrist: Applied Algebraic Topology, Cohomology For Homotopy, Sheaf Neural Networks, Lattice Theory 52:57

1 #148 - Zach Adams: The Hidden Power Of Algebraic Combinatorics 59:46

1 #147 - Aryeh Kontorovich: Rigorous Probability And Statistics, Game Theory, Lean Prover 38:29

1 #146 - Thomas Britz: How Combinatorics Unlocks New Perspectives To Problem Solving 1:18:34

1 #145 - Jack Mayo: Machine Learning Theory, Multi-Armed Bandit RL, Adaptive Learning 1:09:17

1 #144 - Donato Quiccione: Algebraic Topology, Topological Data Analysis For MRIs, Category Theory 1:02:10

1 #143 - Colin Roberts: Differential Algebraic Topology, Sheaf Theory, Combinatorics, Cohomology 2:59:41

1 #142 - Grant Stenger: Hyperbolic Graph Embeddings For A* Shortest Path, Game Theory, Discrete Math 1:14:07

1 #141 - Kristaps Balodis: Sheaf Theory, Algebraic Topology, Geometry 55:55

1 #140 - Chris Rock: DEFCON Mercenary Hacker For Govs And CEOs, Digital Forensics, Zero Day Marketplace 1:00:11

1 #139 - Mark Worrall: Self Studying Math, Quant Finance Statistics, ML/AI, Edtech Startups 1:16:33

1 #138 - Chris Sutherland: Learn Quantum Physics Without School, Creating Infntysci, Automating Math Education 53:30

1 #137 - Justin Skycak: Learning Math Is Hard, Proof Writing, Which Order To Learn Math 2:45:41

1 #136 - Lida Kanari: Algebraic Topology To Map Out Neocortex Neurons, Leading Blue Brain Computational Neuroscience 1:08:06

1 #135 - Abhimanyu Nag: Markov Chains, Complex Dynamical Systems, Chaos Theory 1:13:00
ברוכים הבאים אל Player FM!
Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.