| Steelix: program-state based binary fuzzing Y Li, B Chen, M Chandramohan, SW Lin, Y Liu, A Tiu Proceedings of the 2017 11th joint meeting on foundations of software …, 2017 | 403 | 2017 |
| A survey of smart contract formal specification and verification P Tolmach, Y Li, SW Lin, Y Liu, Z Li ACM Computing Surveys (CSUR) 54 (7), 1-38, 2021 | 309 | 2021 |
| A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices R Feng, S Chen, X Xie, G Meng, SW Lin, Y Liu IEEE Transactions on Information Forensics and Security 16, 1563-1578, 2020 | 177 | 2020 |
| Semantic understanding of smart contracts: Executable operational semantics of solidity J Jiao, S Kan, SW Lin, D Sanan, Y Liu, J Sun 2020 IEEE Symposium on Security and Privacy (SP), 1695-1712, 2020 | 142* | 2020 |
| Vultron: catching vulnerable smart contracts once and for all H Wang, Y Li, SW Lin, L Ma, Y Liu 2019 IEEE/ACM 41st international conference on software engineering: New …, 2019 | 100* | 2019 |
| Oracle-supported dynamic exploit generation for smart contracts H Wang, Y Liu, Y Li, SW Lin, C Artho, L Ma, Y Liu IEEE Transactions on Dependable and Secure Computing 19 (3), 1795-1809, 2020 | 98 | 2020 |
| Hdskg: Harvesting domain specific knowledge graph from content of webpages X Zhao, Z Xing, MA Kabir, N Sawada, J Li, SW Lin 2017 ieee 24th international conference on software analysis, evolution and …, 2017 | 83 | 2017 |
| Finding Permission Bugs in Smart Contracts with Role Mining Y Liu, Y Li, SW Lin, C Artho ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022 | 70 | 2022 |
| Mobidroid: A performance-sensitive malware detection system on mobile platform R Feng, S Chen, X Xie, L Ma, G Meng, Y Liu, SW Lin 2019 24th International conference on engineering of complex computer …, 2019 | 68 | 2019 |
| VERTAF: An application framework for the design and verification of embedded real-time software PA Hsiung, SW Lin, CH Tseng, TY Lee, JM Fu, WB See IEEE Transactions on Software Engineering 30 (10), 656-674, 2004 | 67 | 2004 |
| Formal analysis of composable DeFi protocols P Tolmach, Y Li, SW Lin, Y Liu International Conference on Financial Cryptography and Data Security, 149-161, 2021 | 62 | 2021 |
| Llms for relational reasoning: How far are we? Z Li, Y Cao, X Xu, J Jiang, X Liu, YS Teo, SW Lin, Y Liu Proceedings of the 1st International Workshop on Large Language Models for …, 2024 | 61 | 2024 |
| A neural model for method name generation from functional description S Gao, C Chen, Z Xing, Y Ma, W Song, SW Lin 2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019 | 57 | 2019 |
| A real-time and fully distributed approach to motion planning for multirobot systems Y Zhou, H Hu, Y Liu, SW Lin, Z Ding IEEE Transactions on Systems, Man, and Cybernetics: Systems 49 (12), 2636-2650, 2017 | 53 | 2017 |
| Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack Y Cheng, Q Guo, F Juefei-Xu, SW Lin, W Feng, W Lin, Y Liu IEEE Transactions on Multimedia 24, 3807-3822, 2021 | 52 | 2021 |
| Enhancing security patch identification by capturing structures in commits B Wu, S Liu, R Feng, X Xie, J Siow, SW Lin IEEE Transactions on Dependable and Secure Computing, 2022 | 49 | 2022 |
| ModCon: A model-based testing platform for smart contracts Y Liu, Y Li, SW Lin, Q Yan Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 48 | 2020 |
| Automatic loop-invariant generation anc refinement through selective sampling J Li, J Sun, L Li, QL Le, SW Lin 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 46 | 2017 |
| A distributed approach to robust control of multi-robot systems Y Zhou, H Hu, Y Liu, SW Lin, Z Ding Automatica 98, 1-13, 2018 | 44 | 2018 |
| Learning Assumptions for Compositional Verification of Timed Systems SW Lin, É André, Y Liu, J Sun, JS Dong IEEE Transactions on Software Engineering 40 (2), 137-153, 2014 | 42 | 2014 |
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
