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

Web3 wallets are crucial for digital assets and data protection. As blockchain adoption grows, so do threats. Our panel explores security challenges and solutions, including phishing attacks, key management, and software exploits. Experts will discuss advancements in multi-signature and hardware wallets, plus emerging security protocols. Learn best practices to safeguard your digital wealth and enhance trust in the decentralized ecosystem. Join us for a vital discussion on fortifying Web3 wallet security.

View Details

At Runtime Verification, we saw a need for advanced Solidity debugging tools combining traditional breakpoint debugging with symbolic execution. Enter "Simbolik: The Symbolic Solidity Debugger." This tool bridges the gap between user-friendly debugging and powerful formal methods. Developers start with familiar techniques, like setting breakpoints, and gradually integrate formal methods, enhancing the security and reliability of their smart contracts.

View Details