Available for Audit Engagements
UAP Security Lab
Independent DeFi Security Researcher & Smart Contract Auditor. Specializing in local EVM fork audits, invariant fuzzing, and bytecode analysis with reproducible evidence.
Technical Stack & Tools
Solidity
EVM Bytecode Analysis
Foundry / Forge
Invariant Fuzzing
Python 3.13
Web3.py
Differential Testing
MEV & Flash Loans
Reverse Engineering
Audit Methodology
- Bytecode-First Analysis: Decompiling and auditing unverified bytecode and deployed contracts (100% JUMPDEST coverage).
- Fork Behavioral Testing: Executing claim-freeze and accounting logic tests on local EVM forks.
- Zero False Positives: Every reported vulnerability is accompanied by an executable Proof-of-Concept (PoC) harness.
- Confidence Classification: Strict categorization of findings using CONFIRMED, INFERRED, and UNKNOWN tags.
Proof-of-Work Artifacts
Unverified Contract Bytecode Audit
100% JUMPDEST Coverage & Behavioral Analysis
View Proof
Differential Testing Harness
Baseline vs. Attack State Simulation in Foundry
View Proof