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

Wenkai Li Xiaoqi Li Yuqing Zhang Zongwei Li

Published in: WWW (Companion Volume) (2024)

Keyphrases

data analysis
formal analysis
image analysis
neural network
metadata
distributed systems
security analysis