Publications

Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode

Published in ISSTA, 2023

ACM SIGSOFT Distinguished Paper

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

Towards automated safety vetting of smart contracts in decentralized applications

Published in CCS, 2022

Best Paper Honorable Mention

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