publications

2026

  1. ACSAC’26
    Clouds with Cracks: Uncovering and Securing Hidden Access Control Flaws in IoT Cloud Platforms
    Yihao Huang, and Yinxi Liu
    In Proceedings of the 42nd Annual Computer Security Applications Conference (ACSAC), Dec 2026
  2. ASE’26
    Decompiling the Web: Automated Semantic Recovery of Post-Compilation Abstraction Leaks
    Shriyans Sudhi, and Yinxi Liu
    In 2026 41st IEEE/ACM International Conference on Automated Software Engineering (ASE), Oct 2026
  3. TRUST@ASE’26
    Metamorphic Stress Testing of Vision-Language Components for Time-Critical Autonomous Systems
    Arman Chhetri, and Yinxi Liu
    In 2026 41st IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), TRUST Workshop, Oct 2026
  4. RASE@ASE’26
    When Do Inference-Cost Stress Tests Generalize? A Cross-Model and Cross-Configuration Measurement Study
    Arman Chhetri, and Yinxi Liu
    In 2026 41st IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), RASE Workshop, Oct 2026

2025

  1. FSE’25
    Detecting Smart Contract State-Inconsistency Bugs via Flow Divergence and Multiplex Symbolic Execution
    Yinxi Liu, Wei Meng, and Yinqian Zhang
    In 2025 ACM International Conference on the Foundations of Software Engineering (FSE), Jun 2025

2023

  1. 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), Nov 2023

2022

  1. 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), Nov 2022

2021

  1. AI4AN@IJCAI’20
    Interpretable Anomaly Detection in Variable-Length Co-Evolving Rhythmic Sequences
    Yinxi Liu, Kai Yang, Shaoyu Dou, and 1 more author
    Proceedings of The 1st Workshop on Artificial Intelligence for Anomalies and Novelties (AI4AN workshop in IJCAI ’20), Jan 2021
  2. ASE’21
    Understanding and Detecting Performance Bugs in Markdown Compilers
    Penghui Li, Yinxi Liu, and Wei Meng
    In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), Nov 2021
  3. 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), May 2021

2019

  1. ITML@NeurIPS’19
    Local Group Anomaly Detection for Multiple Time Series with Synchronization Errors
    Yinxi Liu, Kai Yang, and Shaoyu Dou
    Proceedings of The NeurIPS 2019 Workshop on Information Theory and Machine Learning (ITML workshop at NeurIPS ’19), Dec 2019