Wansen Wang, Wenchao Huang, Zhaoyi Meng, Yan Xiong, Fuyou Miao, Xianjin Fang, Caichang Tu, Renjie Ji. Automated Inference on Financial Security of Ethereum Smart Contracts. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 3367-3383, USENIX Association, 2023. [doi]
@inproceedings{WangHMXMFTJ23,
title = {Automated Inference on Financial Security of Ethereum Smart Contracts},
author = {Wansen Wang and Wenchao Huang and Zhaoyi Meng and Yan Xiong and Fuyou Miao and Xianjin Fang and Caichang Tu and Renjie Ji},
year = {2023},
url = {https://www.usenix.org/conference/usenixsecurity23/presentation/wang-wansen},
researchr = {https://researchr.org/publication/WangHMXMFTJ23},
cites = {0},
citedby = {0},
pages = {3367-3383},
booktitle = {32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023},
editor = {Joseph A. Calandrino and Carmela Troncoso},
publisher = {USENIX Association},
}