Email | Google Scholar | LinkedIn | Twitter
I am a final-year Ph.D. student in the department of Computer Science and Engineering at
The Chinese University of Hong Kong. I am fortunate to be advised by Prof. Wei Meng and work with other people in SecLab.
I obtained my B.S. degree in Computer Science and Technology from
Tongji University in June 2020, working with Prof. Kai Yang.
<aside> 💡 My research provides (in)formal specifications of undesirable behaviors in various programs, significantly reducing the complexities involved in analyzing these programs for possible security risks. This leads to a broad array of related topics in computer security, programming languages, software engineering, and algorithms & complexity, such as security audit, program analysis, test-input generation, and worst-case complexity of algorithms. I aim to ignite a beacon for vulnerability discovery in the sea of program states and execution paths.
DSFuzz: Detecting Deep State Bugs with Dependent State Exploration Yinxi Liu, Wei Meng. In Proceedings of The 30th ACM Conference on Computer and Communications Security (CCS '23), November 2023.
Acquirer: A Hybrid Approach to Detecting Algorithmic Complexity Vulnerabilities Yinxi Liu, Wei Meng. In Proceedings of The 29th ACM Conference on Computer and Communications Security (CCS '22), November 2022.
Understanding and Detecting Performance Bugs in Markdown Compilers Penghui Li, Yinxi Liu, Wei Meng. 🏆 Top 5 Finalist of Best Software Artifact In Proceedings of The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE '21), November 2021.
Revealer: Detecting and Exploiting Regular Expression Denial-of-Service Vulnerabilities Yinxi Liu, Mingxue Zhang, Wei Meng. In Proceedings of The 42nd IEEE Symposium on Security and Privacy (Oakland '21), May 2021.
Interpretable Anomaly Detection in Variable-Length Co-Evolving Rhythmic Sequences Yinxi Liu, Kai Yang, Shaoyu Dou, Pan Luo. In Proceedings of The 1st Workshop on Artificial Intelligence for Anomalies and Novelties (AI4AN workshop in IJCAI '20), Jan 2021.
Local Group Anomaly Detection for Multiple Time Series with Synchronization Errors Yinxi Liu, Kai Yang, Shaoyu Dou. In Proceedings of The NeurIPS 2019 Workshop on Information Theory and Machine Learning (ITML workshop in NeurIPS '19), Dec 2019.
Visiting Ph.D. Student at
Southern University of Science and Technology, working with Prof. Yinqian Zhang.
Mar 2023 -- Aug 2023
Research Assistant at
Simon Fraser University, working with Prof. Tianzheng Wang.
Aug 2019 -- Dec 2019