Ruijie Meng

She/Her

Incoming Tenure-Track Faculty,
CISPA Helmholtz Center for Information Security

x@u.nus.edu, x->ruijie_meng

        

I'm Ruijie (pronounced like Ray Jay), an incoming tenure-track faculty member of CISPA Helmholtz Center for Information Security. I am finishing my Ph.D. at School of Computing, National University of Singapore (NUS), advised by Professor Abhik Roychoudhury.

My research focuses on software security. I develop techniques to automatically validate distributed, concurrent, and stateful software systems. More recently, I am interested in exploring frontier AI to solve security challenges, as well as in enhancing the security and reliability of AI-powered software systems.

🚀 Ph.D. Positions Available!
I am actively looking for self-motivated Ph.D. students to work on software security. If you are interested in working with me, feel free to drop me an email with your CV and research interests.

Why do a Ph.D. at CISPA?

  • Ranked 1st globally in Cybersecurity by CSRankings;
  • Fully funded positions (E13/E14, 100% salary) with competitive benefits;
  • Prime location at vibrant, affordable and international Saarbrücken.

Wondering more about Ph.D. life in Germany? Read this blog by Prof. Andreas Zeller.

Publications

  • Large Language Model powered Symbolic Execution
    Yihe Li, Ruijie Meng (corresponding author), Gregory J. Duck
    40th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), 2025
    [paper]

  • Large Language Model assisted Hybrid Fuzzing
    Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
    arXiv preprint arXiv:2412.15931, 2024
    [paper]

  • AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
    Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
    IEEE Transactions on Software Engineering (TSE), 2025
    Journal First Paper at the 33rd ACM International Conference on the Foundations of Software Engineering (FSE), 2025
    [paper][slides][code] GitHub Repo stars

  • Program Environment Fuzzing
    Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
    31st ACM Conference on Computer and Communications Security (CCS), 2024
    [paper] [slides] [code] GitHub Repo stars

  • Large Language Model guided Protocol Fuzzing
    Ruijie Meng, Martin Mirchev, Marcel Böhme, Abhik Roychoudhury
    31st Network and Distributed System Security Symposium (NDSS), 2024
    [paper] [slides] [code] GitHub Repo stars

  • Greybox Fuzzing of Distributed Systems
    Ruijie Meng, George Pirlea, Abhik Roychoudhury, Ilya Sergey
    30th ACM Conference on Computer and Communications Security (CCS), 2023
    [paper] [slides] [code] GitHub Repo stars

  • Linear-time Temporal Logic guided Greybox Fuzzing
    Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
    ACM/IEEE 44th International Conference on Software Engineering (ICSE), 2022
    [paper] [slides] [code] GitHub Repo stars

  • Low-Overhead Deadlock Prediction
    Yan Cai, Ruijie Meng (co-first author), Jens Palsberg
    ACM/IEEE 42nd International Conference on Software Engineering (ICSE), 2020

  • ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities
    Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang
    ACM/IEEE 34th International Conference on Automated Software Engineering Tool (ASE), 2019

  • Detecting Concurrency Memory Corruption Vulnerabilities
    Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, Bin Liang
    ACM 27th European Software Engineering Conference/Symposium on the Foundations of Software Engineering (ESEC/FSE), 2019
    [paper] [dataset]

Teaching

  • Fuzzing and Software Security Summer School, NUS (May 2024), Lecturer

  • CS5219 - Automated Software Validation, NUS (AY 2023/2024, Semester 1), Teaching Assistant [Student Feedback]

  • CS2040 - Data Structures and Algorithms, NUS (AY 2022/2023, Semester 2), Teaching Assistant

  • CS5219 - Automated Software Validation, NUS (AY 2022/2023, Semester 1), Teaching Assistant [Student Feedback]

  • CS2040 - Data Structures and Algorithms, NUS (AY 2021/2022, Semester 2), Teaching Assistant

  • CS2040S - Data Structures and Algorithms, NUS (AY 2021/2022, Semester 1), Teaching Assistant

Academic Services

Selected Honors and Awards

  • NUS Dean's Graduate Research Excellence Award, 2023

  • NUSGS Research Incentive Award, 2023--2024

  • NUS Teaching Fellowship Nomination, 2023

  • NUS Research Achievement Award, 2023

  • NUS President's Graduate Fellowship, 2020--2024

  • Outstanding Graduate of Beijing (Top 1% got the awards), 2020

  • Outstanding Graduate of University of Chinese Academy of Sciences (Top 1% got the awards), 2020

  • President's Fellowship of Chinese Academy of Sciences (Top 1% got the awards), 2020

  • National Scholarship of China (Top 1% got the awards), 2019

  • First-Class Academic Scholarship of University of Chinese Academy of Sciences (Top 10% got the awards), 2018 and 2019

  • ACM SIGAI Scholarship, 2019

  • ACM SIGSOFT CAPS Fund, 2019