Security
Hunting Blockchain Clients' Bugs with Concolic Execution
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.