Join us for an insightful discussion on the critical role of formal verification in securing smart contracts. This panel brings together experts to explore how mathematical proofs can ensure the correctness and security of smart contracts, preventing vulnerabilities before deployment. Discover key techniques, real-world case studies, and future directions in formal verification for blockchain security. Enhance your understanding of how to fortify smart contracts in a decentralized environment.

View Details

Rounding-related hacks are having a moment in the spotlight. Yet, they're one of the most misunderstood class of vulnerabilities. In this talk, we explore the history of rounding related exploits, diagnose root causes, and provide practical mitigations for protocols.

View Details

Bridge exploits rank prominently among the most prevalent hacks in the industry (over $337M were lost in 2023 alone). This presentation will delve into the intricacies of bridge security pitfalls, highlighting common mistakes unearthed during bridge audits, and offering practical strategies for mitigating risks.

View Details

"Smart contract development involves using a variety of tools for testing, analysis, deployment, or vulnerability scanning. The approach of the Wake framework is to deliver one tool the developers and auditors can use for everything: testing framework, fuzz testing, a static analyzer with custom detectors and printers, all visualized in the frontend - VS Code extension. This talk presents advanced use-cases focused on security and auditing such as fuzz testing, differential fuzz testing, and fork testing."

View Details