FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers. - Eric Liu 001; Shengjie Xu 001; David Lie (ASE, 2023)

MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking. - Shengjie Xu 001; Eric Liu 001; Wei Huang 027; David Lie (RAID, 2023)

ANVIL: Anomaly-based Vulnerability Identification without Labelled Training Data. - Weizhou Wang; Eric Liu 001; Xiangyu Guo; David Lie (CoRR, 2024)

PSan: Towards Hybrid Metadata Scheme for Efficient Pointer Checking. - Shengjie Xu 001; Eric Liu 001; Wei Huang 027; Ilya Grishchenko; David Lie (ACSAC, 2025)

EvoCrawl: Exploring Web Application Code and State using Evolutionary Search. - Xiangyu Guo; Akshay Kawlay; Eric Liu 001; David Lie (NDSS, 2025)

MARAGE: Transferable Multi-Model Adversarial Attack for Retrieval-Augmented Generation Data Extraction. - Xiao Hu; Eric Liu 001; Weizhou Wang; Xiangyu Guo; David Lie (CoRR, 2025)