DeFi Security Summit 2025

A New Way to Visualize Crypto Transactions

ARGUZZ: Testing zkVMs for Soundness and Completeness Bugs

Auditing DeFi in the Era of IntraBlock Loans: Preparing for the Next Wave of Exploits

Auditing ERC-4337 Paymasters: Little Code, Big Risk

Auditing with Machines: A Practical Exploration of AI-Augmented Security Work

Beyond “Just Read the Code”: Auditing Strategies & Tactics