Definition and detection of defects in NFT smart contracts S Yang, J Chen, Z Zheng Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 13 | 2023 |
Towards Understanding Asset Flows in Crypto Money Laundering Through the Lenses of Ethereum Heists J Wu, D Lin, Q Fu, S Yang, T Chen, Z Zheng, B Song IEEE Transactions on Information Forensics and Security, 2023 | 10 | 2023 |
Uncover the premeditated attacks: detecting exploitable reentrancy vulnerabilities by identifying attacker contracts S Yang, J Chen, M Huang, Z Zheng, Y Huang Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 5 | 2024 |
Towards understanding crypto money laundering in web3 through the lenses of ethereum heists D Lin, J Wu, Q Fu, Y Yu, K Lin, Z Zheng, S Yang arXiv preprint arXiv:2305.14748, 2023 | 5 | 2023 |
Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution S Yang, X Lin, J Chen, Q Zhong, L Xiao, R Huang, Y Wang, Z Zheng arXiv preprint arXiv:2408.06037, 2024 | 1 | 2024 |
FunFuzz: A Function-oriented Fuzzer for Smart Contract Vulnerability Detection with High Effectiveness and Efficiency M Ye, Y Nan, HN Dai, S Yang, X Luo, Z Zheng ACM Transactions on Software Engineering and Methodology, 2024 | | 2024 |