16:26Stories from the Auditing Trenches (including lessons for devs, lessons from top DeFi protocols)Secureum150 views·2 years ago
11:24Docker-based Auditor’s Toolbox Enhancing Web3 Security Through Integrated ToolingSecureum160 views·2 years ago
15:41Run Account Abstraction-powered DevSecOps pipelines to build more secure contractsSecureum49 views·2 years ago
12:28A Unified Framework for Formal Verification of Vyper Bytecode using HalmosSecureum169 views·2 years ago