Contests

All findings can be viewed on my Sherlock profile

YearContestCategoryLanguageFindingsRankReport
2025PeapodsLeveraged Volatility FarmingSolidity1H - 3M5๐Ÿ“
2025PlazaBonds and Leverage on BaseSolidity4H - 5M21๐Ÿ“


Private engagements

YearProjectCategoryLanguageReport
2024LagoonVault infrastructure to manage on-chain fundsSolidity๐Ÿ“
2023QuestV2Acquire gauge votesSolidityASK
2023AmphorVault - Follow up reviewSoliditymention


Team engagements


Pashov Audit Group - Internship

YearProjectCategoryLanguageReport
2025DisclosedLaunchpadSolidityTBD

Electisec - Block VI Fellowships (prev yAcademy)

YearProjectCategoryLanguageReport
2024Yearn 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