DeFi Security Summit 2025 - Nogal Stage - Day 1
25 talks · 2025 · indexed by Breach Arc Archive. Links open each talk on YouTube.
Browse with filters →- ARGUZZ: Testing zkVMs for Soundness and Completeness Bugs 2025
- Bounding Rounding Errors in Integer Maths 2025
- Building Crosschain Bridge across VMs 2025
- Bulletproof Protocol for Set/Not-Set Membership Proofs: Security and Implementation Considerations 2025
- Differential Fuzzing of the Vyper Compiler 2025
- EIP-7702: Empowering EOA's, Expanding Attack Surfaces 2025
- Going Beyond 100% Coverage 2025
- Governance as an Attack Vector 2025
- How dApps Can Stop Money Laundering 2025
- Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts 2025
- Lessons Learned After ISO27001 / SOC2 Certification: Bridging DeFi Culture and Enterprise Standards 2025
- Mutation Testing with Slither - A New Way to Find High Severity Issues 2025
- Raising the Bar: Security Leadership for Mass Adoption 2025
- RISC Zero Security Deep Dive: Architecture, Risks, and Review Methodology 2025
- Scale Your DeFi Research with Static Analysis 2025
- Secure Governance for DeFi Companies 2025
- Smart Contracts Fuzzing: Current Problems and Proposed Solutions 2025
- State of Fuzzing: Closing the Circle From Machine to Human and Back 2025
- Statically Safe: Proving Security with Semantic Queries 2025
- The CPIMP Backdoor: Anatomy of a Multi-Chain Proxy Attack 2025
- Try to Catch This: Try-Catch in Solidity Reviewed 2025
- Unconstrained Machines 2025
- Understanding Math-Heavy Code 2025
- When One Dependency Breaks Everything: Securing the Web3 Toolchain 2025
- When Trust Gets Tricky: The State of TEE Security Today 2025