Yinxi Liu

(pronounced In-She Leeo)

prof_pic.png

I am an incoming Assistant Professor in the Department of Cybersecurity at the Rochester Institute of Technology, starting in fall 2024.

Currently, I am completing my Ph.D. in Computer Science and Engineering at The Chinese University of Hong Kong with an expected degree date of July 2024. Earlier, I was born in July 1999 and obtained my B.Eng. degree in Computer Science and Technology from Tongji University in June 2020.

💡 I aim to ignite a beacon for vulnerability discovery in the sea of program states and execution paths.

My research provides (in)formal specifications of undesirable behaviors in various programs, significantly reducing the complexities involved in analyzing these programs for certain 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.

openings

I seek motivated students with solid programming skills to work with for at least 6 months, kindly read my letter to prospective students if you are interested.

Apart from doing research, I engage in regular workouts and also take pleasure in practicing Chinese calligraphy as a form of meditation.

selected publications

  1. SP’21
    Revealer: Detecting and Exploiting Regular Expression Denial-of-Service Vulnerabilities
    Yinxi Liu, Mingxue Zhang , and Wei Meng
    In 2021 IEEE Symposium on Security and Privacy (SP) , 2021
  2. CCS’22
    Acquirer: A Hybrid Approach to Detecting Algorithmic Complexity Vulnerabilities
    Yinxi Liu, and Wei Meng
    In 2022 ACM SIGSAC Conference on Computer and Communications Security (CCS) , 2022
  3. CCS’23
    DSFuzz: Detecting Deep State Bugs with Dependent State Exploration
    Yinxi Liu, and Wei Meng
    In 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS) , 2023