Smart contract security researcher specializing in DeFi protocol auditing. Experienced in Solidity, Foundry, and formal verification.