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

Audits: Conventional vs Community Panel

Balancing usability and security: the challenges of non-custodial embedded wallets | Thibault de Lacheze-Murel (Dfns)