Wenkai Li, Xiaoqi Li, Yuqing Zhang, Zongwei Li: DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis. WWW (Companion Volume) 2024: 786-789