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

Block or report Aboudoc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
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 43 16

  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