Workshop: Apple Stack Hardening: Security Essenials for macOS, iOS & AppleID

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