Security

Hunting Blockchain Clients' Bugs with Concolic Execution

Name: Hunting Blockchain Clients' Bugs with Concolic Execution
Start: 2025-07-02T16:10:00
End: 2025-07-02T16:30:00
Location: EthCC Venue

Karolina GORNA

from Ledger

Talk

Wednesday, July 2nd 2025

16:10 - 16:30

Burton Stage WS

Description

Discover how concolic (concrete and symbolic) execution can unveil hidden bugs in blockchain clients. This talk explores our methodology, and its impact on improving blockchain security and reliability.