Revolutionizing Solidity Debugging with Symbolic Execution

July 8, 2024

2:30 pm

-

3:00 pm

Get Tickets Now

Revolutionizing Solidity Debugging with Symbolic Execution

WHEN

July 8, 2024 2:30 PM

ABOUT

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.

Get Ticket NOW

Other Speakers

Raoul Schaffranek

Formal Verification Engineer at Runtime Verification

Other agenda

inding Vulnerabilities by Querying Smart Contracts for Bug Patterns With Glider

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

View Details

Wallets Security Panel

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

Destroying Threshold Keys

Threshold cryptography, crucial for blockchain and cryptocurrencies, faces a critical issue: threshold key destruction. This talk will cover how attackers can prevent honest participants from using threshold keys, focusing on three cases: the severe impact of the Forget-and-Forgive attack (BHUSA '20), the risks of missing length checks in Feldman VSS, and the novel method in DKLs23 that exploits honest participants.

View Details

The Role of Invariant Monitoring in The Security Stack

An overview of core capabilities—Invariant Monitoring Engine, Real-Time Threat Monitoring & Detection, and Threat Remediation & Incident Response.

View Details