SoK: Hardware Security Support for Trustworthy Execution. - Lianying Zhao; He Shuang; Shengjie Xu 001; Wei Huang 027; Rongzhen Cui; Pushkar Bettadpur; David Lie (CoRR, 2019)

In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection. - Shengjie Xu 001; Wei Huang 027; David Lie (ASPLOS, 2021)

Aion Attacks: Manipulating Software Timers in Trusted Execution Environment. - Wei Huang 027; Shengjie Xu 001; Yueqiang Cheng; David Lie (DIMVA, 2021)

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

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

PrepPipe: Prototyping Compiler for Attainable Visual Novel Development. - Shengjie Xu 001 (CoG, 2024)

A Survey of Hardware Improvements to Secure Program Execution. - Lianying Zhao; He Shuang; Shengjie Xu 001; Wei Huang 027; Rongzhen Cui; Pushkar Bettadpur; David Lie (ACM Comput. Surv., 2024)

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