Skip to main content

🔐 Blockchain Security & Protocol Engineering Projects

1️⃣ Over-Collateralized Stablecoin Protocol (DAI-Inspired)​

Description
Designed and implemented a decentralized over-collateralized stablecoin protocol inspired by MakerDAO architecture.

Core Features

  • Collateral deposits (ETH-based)
  • Minting & burning mechanism
  • Health factor enforcement
  • Liquidation engine with penalty logic
  • Oracle-based USD pricing

Security & Audit Focus

  • Formalized protocol invariants (collateral ratio > 150%)
  • Prevented insolvency via liquidation thresholds
  • Analyzed oracle manipulation risks
  • Tested rounding edge cases and precision loss
  • Built Foundry fuzz tests to enforce solvency invariants
  • Simulated liquidation attack scenarios

Skills Demonstrated
Protocol design • DeFi mechanics • Invariant testing • Economic attack modeling • Foundry fuzzing

2️⃣ Uniswap-Style Automated Market Maker (AMM)​

Description
Built a constant-product AMM (x * y = k) with liquidity pools and token swaps.

Core Features

  • Liquidity provision & LP token minting
  • Swap logic with fee mechanism
  • Reserve tracking & price calculation
  • Slippage handling

Security & Audit Focus

  • Verified invariant preservation (x * y = k)
  • Simulated flash-loan price manipulation
  • Analyzed sandwich attack vectors
  • Prevented reserve imbalance exploits
  • Implemented reentrancy-safe transfer patterns

Skills Demonstrated
AMM mathematics • Flash loan attack modeling • Economic exploit simulation • DeFi protocol security

3️⃣ Lending & Liquidation Mini-Protocol​

Description
Built a simplified lending protocol supporting collateralized borrowing and liquidations.

Core Features

  • Collateral deposit
  • Borrow against collateral
  • Dynamic health factor tracking
  • Liquidation mechanism
  • Interest accrual model

Security & Audit Focus

  • Modeled undercollateralization edge cases
  • Simulated oracle price manipulation attacks
  • Verified borrow limits using invariant testing
  • Analyzed cascading liquidation risks
  • Ensured reentrancy-safe withdrawals

Skills Demonstrated
DeFi risk modeling • Oracle security • Liquidation math • Financial state consistency

4️⃣ ERC20 Token Factory & Security Analysis Suite​

Description
Developed a secure ERC20 token factory with customizable minting logic and ownership controls.

Core Features

  • Controlled mint/burn permissions
  • Ownership transfer mechanisms
  • Pausable token support
  • Supply cap enforcement

Security & Audit Focus

  • Prevented approval race conditions
  • Analyzed ownership takeover risks
  • Tested inflation edge cases
  • Reviewed real-world ERC20 exploit patterns
  • Mapped vulnerabilities against implementation

Skills Demonstrated
Access control auditing • ERC20 standard analysis • Ownership security • Exploit replication

5️⃣ Exploit Lab – Vulnerable Contracts & Attack Simulations​

Description
Built intentionally vulnerable DeFi contracts and corresponding exploit contracts to simulate real-world attack scenarios.

Attack Scenarios Implemented

  • Reentrancy exploit (withdraw pattern)
  • Flash loan price manipulation
  • Oracle spoofing
  • Access control bypass
  • Storage collision simulation

Security Research Focus

  • Manual line-by-line code review
  • State transition validation
  • Nested call analysis
  • Storage slot inspection
  • Transaction trace debugging

Tools Used

  • Foundry
  • Slither
  • Hardhat
  • EVM trace debugging tools

Skills Demonstrated
Adversarial thinking • Exploit development • Security auditing methodology • EVM-level reasoning