Kostas Ferles

3 talks by Kostas Ferles

• Streamlining Security Audits with AuditHub - DeFi Security Summit 2025
• ZKVM Determinism That Lasts: From Audits to Continuous Verification
• V for Verification: A Unified Service for Secure Blockchains