TY  - RPRT
TI  - Enhancing Smart Contract Security Analysis with Execution Property Graphs
AU  - Kaihua Qin
AU  - Zhe Ye
AU  - Zhun Wang
AU  - Weilin Li
AU  - Liyi Zhou
AU  - Chao Zhang
AU  - Dawn Song
AU  - Arthur Gervais
PY  - 2025
UR  - https://arxiv.org/abs/2305.14046
ID  - 2305.14046
ER  -