Automated Inference on Financial Security of Ethereum Smart Contracts.

Wansen Wang 0001 Wenchao Huang 0001 Zhaoyi Meng Yan Xiong 0001 Fuyou Miao 0001 Xianjin Fang Caichang Tu Renjie Ji Automated Inference on Financial Security of Ethereum Smart Contracts. 2023 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity23/presentation/wang-wansen conf/uss/2023 db/conf/uss/uss2023.html#WangHMXMFTJ23 3367-3383