Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a doctoral research presentation introducing a comprehensive multi-layer dynamic security framework designed to protect DeFi smart contracts against sophisticated attack vectors that evade traditional static analysis and security audits. Learn how this innovative approach addresses the critical gap in current security measures by focusing on runtime vulnerabilities that emerge from flawed assumptions about user behaviors and external dependencies rather than simple source code bugs. Discover the framework's three complementary defense mechanisms: CrossGuard, which implements control-flow integrity by whitelisting only legitimate invocation patterns; Trace2Inv, a runtime invariant generator that learns and enforces security invariants from historical transaction data; and an ecosystem-wide risk analysis tool capable of detecting compositional vulnerabilities in protocol dependencies. Understand how the system leverages upgradeable contracts to progressively refine defenses as protocols mature and stabilize. Examine the impressive evaluation results demonstrating the framework's ability to block 85% of past exploits while maintaining under 1% false positives and below 20% gas overhead, making it a practical solution for real-world DeFi security challenges. Gain insights into cutting-edge research in runtime validation, invariant generation, dynamic analysis, and taint analysis as applied to blockchain smart contract security.
