TY  - RPRT
TI  - Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
AU  - Yepeng Ding
AU  - Arthur Gervais
AU  - Roger Wattenhofer
AU  - Hiroyuki Sato
PY  - 2024
UR  - https://arxiv.org/abs/2404.10376
ID  - 2404.10376
ER  -