DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis.

Wenkai Li, Xiaoqi Li, Yuqing Zhang, Zongwei Li

Browse the full WWW paper archive.