Workshop: Autonomous Guardians: The Future of Smart Contract Auditing

Workshop: Beyond Private Key Security: Cosigners and Advanced Policy Engines - DeFi Security Summit 2025

Workshop: Concord: Automatically Checking EVM Bytecode Equivalence

Workshop: Demystifying MPC for coSNARKs: How to Collaboratively Prove Sumthing

Workshop: Formal Verification of Uniswap v4 Hooks

Workshop: OpSec Fundamentals Web3: Hands-On Tools and Recom. for Everyday Security