Loading...
Loading...
4
Sessions
4
Videos
23
Students
Learn to think like an attacker and defend like an auditor. This course provides a systematic approach to smart contract security, covering the full taxonomy of vulnerabilities from reentrancy and flash loan attacks to subtle logic bugs and oracle manipulation. You'll practice with real-world exploit case studies, learn formal verification with Certora, and participate in a live audit workshop using production contracts.
Build a comprehensive mental model of smart contract vulnerabilities. We'll categorize attacks by type — access control, arithmetic, reentrancy, front-running, and logic bugs — with real exploit case studies from Euler, Beanstalk, Ronin, and others. You'll learn to spot red flags in code reviews and understand the attacker's methodology from reconnaissance to exploitation.
2h 0m
A systematic overview of smart contract vulnerability categories including access control, arithmetic bugs, reentrancy, and front-running, illustrated with real-world exploit case studies.
3h 15m
An in-depth analysis of the three most devastating DeFi attack vectors, covering defense patterns like checks-effects-interactions, flash loan mechanics, and oracle-resistant protocol design.
2h 30m
An introduction to mathematically verifying smart contracts using Certora Prover, covering specification writing in CVL, invariant reasoning, and integrating formal methods into security workflows.
3h 45m
A collaborative hands-on workshop following professional audit methodology, using tools like Slither and Mythril to find vulnerabilities and produce a professional-grade audit report.
Verification project for Smart Contract Security & Auditing.
Verification project for Smart Contract Security & Auditing.
Verification project for Smart Contract Security & Auditing.
Verification project for Smart Contract Security & Auditing.
Verification project for Smart Contract Security & Auditing.
Audit a smart contract suite and submit a professional report.