Yue Duan, Xin Zhao, Yu Pan, Shucheng Li, Minghao Li, Fengyuan Xu, Mu Zhang 0001. Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications. In Heng Yin, Angelos Stavrou, Cas Cremers, Elaine Shi, editors, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022. pages 921-935, ACM, 2022. [doi]
Abstract is missing.