Smart contract security auditor protecting DeFi protocols from vulnerabilities. Specializing in Solidity audits, formal verification, and attack vector analysis.