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

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

Experience of utilizing a query engine to find replicates of known bugs in any deployed smart contracts within the Ethereum ecosystem.

View Details

Join the CEO of Immunefi as he shares the journey to achieving $200 million in whitehat rewards. Discover how Immunefi revolutionized Web3 security by incentivizing ethical hackers to find and report vulnerabilities. This talk will cover key strategies, challenges, and milestones, highlighting the critical role of whitehat hackers in protecting blockchain projects. Learn about the evolution of bug bounty programs and the future of cybersecurity incentives in the decentralized world.

View Details