Skip to content
View Aboudoc's full-sized avatar
👽
👽

Block or report Aboudoc

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Aboudoc/README.md

Reda Aboutika — EVDoc

Web3 Security Researcher · smart-contract audits (DeFi & L1)

11 top-10 contest finishes · 150+ findings · 14 Critical / 27 High

🔎 What I do

  • 🏅 Top-10 in 11 of 14 concluded contests — incl. 9/687 (Telcoin), 10/609 (Octant v2), 10/475 (Mezo)
  • 🔐 6 private audits with Midgar Audits — incl. a joint engagement with Guardian Audits (Parifi)
  • 📉 Ex-Chief Market Analyst at XTB France — I hunt bugs in market mechanics: perps, CLOBs, lending, stablecoins
  • 🛠️ 5 private AI audit pipelines — multi-agent, multi-provider (Claude Code · LangGraph) — public demo
  • ✍️ Author of the Liquity V2 deep-dive series and a multi-agent AI code-review pipeline on the HackenProof blog

📂 Full track record

👉 auditing-portfolio — every contest, rank, finding and report, in one place.

📫 Reach me

X LinkedIn Code4rena Cantina HackenProof

Pinned Loading

  1. auditing-portfolio auditing-portfolio Public

    11 top-10 contest finishes · 150+ findings (14 Critical / 27 High) — Code4rena · Cantina · HackenProof · private audits

  2. multi-agent-audit-pipeline multi-agent-audit-pipeline Public

    A tiny multi-agent Solidity audit pipeline: fan out to focused agents (one bug class each), then merge. Built with the Claude API.

    Python 3

  3. Uniswap-v3 Uniswap-v3 Public

    🦄🦄 🦄Single & multi hop swap, add and remove liquidity, flash swap ⚡

    Solidity 41 15

  4. Constant-Product-AMM Constant-Product-AMM Public

    A basic Constant Product Automated Market Maker, a Uniswap V2 Price Oracle and some math related to CPAMM

    Solidity 17 4