Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang 0001. Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 1244-1256, ACM, 2023. [doi]
Abstract is missing.