Towards automated safety vetting of smart contracts in decentralized applications

Published in CCS, 2022

Recommended citation: Yue Duan, Xin Zhao, Yu Pan, Shucheng Li, Minghao Li, Fengyuan Xu, and Mu Zhang. 2022. Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications. In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, New York, NY, USA, 921–935. https://doi.org/10.1145/3548606.3559384