Why Code Scanners Miss Real Bugs — And Formal Methods Don’t | Kostas Ferles AuditHub - Blockchain security platform

6 views - 1 day ago

Why “Trust the Code” falls short: Who should own security in web3? | Kostas Ferles AuditHub - Blockchain security platform

8 views - 3 weeks ago

What Is Smart Contract Fuzzing? From Audits to Continuous Security | Kostas Ferles AuditHub - Blockchain security platform

20 views - 4 weeks ago

zkVMs Are Incredibly Complex — Here’s How You Secure One | Kostas Ferles (RISC Zero + Succinct) AuditHub - Blockchain security platform

21 views - 2 weeks ago

Market Making in Crypto: Insights from Hack Seasons in Bangkok The Edge of Show & Outer Edge

7.5K views - 1 year ago