Contests

All findings can be viewed on my Sherlock profile

YearContestCategoryLanguageFindingsLeaderboardReport
2025Notional ExponentLeveraged YieldSolidity1H - 5MRank: 10๐Ÿ“
2025Burve16-token multi-swap for pegged assetsSolidity4HRank: 10๐Ÿ“
2025BadgerDAOeBTC Stability ModuleSolidity2HRank: 23๐Ÿ“
2025PeapodsLeveraged Volatility FarmingSolidity1H - 3MRank: 5๐Ÿ“
2025PlazaBonds and Leverage on BaseSolidity4H - 5MRank: 21๐Ÿ“


Team engagements


Pashov Audit Group - associate auditor

YearProjectCategoryLanguageReport
2025DisclosedPortfolio ManagementSolidityTBD
2025DisclosedStableSwap HookVyper/SolidityTBD
2025DisclosedLaunchpad on DopplerSolidityTBD
2025DisclosedAirdrop - Staking - Reward distributionSolidityTBD
2025DisclosedStablecoinSolidityTBD

Private engagements - up to 500m TVL

ProjectCategoryLanguageReport
LagoonVault infrastructure to manage on-chain funds : 400m TVLSolidity๐Ÿ“
AmphorTokenized funds managed by MEV Capital : up to 220m TVLSoliditymention
QuestV2Acquire gauge votesSolidityASK

Pashov Audit Group - Internship

YearProjectCategoryLanguageReport
2025DisclosedLaunchpadSolidityTBD
2025DisclosedCross-Chain SwapSolidityTBD

Electisec - Block VI Fellowships (prev yAcademy)

ProjectCategoryLanguageReport
Yearn 1upYFIDeFI - boost aggregator veYFIVyper๐Ÿ“


Best findings

RiskTitleLink
๐Ÿ”ด
High
Incorrect LP token price conversion in spTKNMinimalOracledetails


Side projects

ProjectTypeLink
Follow UniswapV3 BookDeFi - AMMconcentratedLiquidity101
Certora Prover ToolFormal VerificationCertora Prover Tool
Mr Steal Yo CryptoCTFMr Steal Yo Crypto


Secureum workshops

ProjectType
CAREXtaker TrailofBits-Medusa-July23Fuzzing
CAREXtaker RV Apr'24Symbolic Execution - Formal Verification
CAREXtaker-Hexens-Dec23code query engine