Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification

Yepeng Ding, Arthur Gervais, Roger Wattenhofer +1

Decentralized finance (DeFi) is revolutionizing the traditional centralized finance paradigm with its attractive features such as high availability, transparency, and tamper-proofi…