EthCC[8]
Security
Hunting Blockchain Clients' Bugs with Concolic Execution
Talk
Wednesday, July 2nd 2025
16:10 - 16:30
Burton Stage
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.