Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.

Records

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