Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification.

Yepeng Ding, Arthur Gervais, Roger Wattenhofer, Hiroyuki Sato

Browse the full ICSE paper archive.