Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode

Published in ISSTA, 2023

Recommended citation: Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, and Mu Zhang. 2023. Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023). Association for Computing Machinery, New York, NY, USA, 1244–1256. https://dl.acm.org/doi/abs/10.1145/3597926.3598132