Hunting Blockchain Clients' Bugs with Concolic Execution

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.