Software Security
Motivation: Modern software systems are increasingly complex and interconnected, making them vulnerable to various security threats. Ensuring the security and reliability of software is crucial to protect sensitive data, maintain user trust, and prevent costly breaches and attacks.
Approach: To address software security challenges, we need to develop advanced techniques for analyzing and securing software systems. Our research focuses on leveraging program analysis and learning-based approaches to identify and mitigate security risks, enhance software reliability, and protect against emerging threats. We have designed a comprehensive array of novel automated solutions, including:
Related Publications
Yue Liu, Chakkrit Tantithamthavorn, Li Li, and Yepang Liu
ACM Computing Surveys (CSUR 2022), 55(8): 1-36 (Core A*, SCI-Q1)
Yue Liu, Chakkrit Tantithamthavorn, Li Li, and Yepang Liu
33rd International Symposium on Software Reliability Engineering (ISSRE 2022), 169-180 (Core A, CCF B)
Haonan Hu, Yue Liu, Yanjie Zhao, Yonghui Liu, Xiaoyu Sun, Chakkrit Tantithamthavorn, and Li Li
38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW 2023), 17-23
Yue Liu, Yanjie Zhao, Chakkrit Tantithamthavorn, Li Li and David Lo
Under Review
Yue Liu, Chakkrit Tantithamthavorn, and Li Li
Under Review