"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

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

This panel will delve into the intricacies of validator security within blockchain networks. The experts will discuss the latest threats, mitigation strategies, and best practices to ensure the robustness and reliability of validator nodes. Attendees will gain valuable insights into the operational security, cryptographic safeguards, and policy measures essential for maintaining a secure validator ecosystem.

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