Restricting Control Flow During Speculative Execution. - Zhuojia Shen; Jie Zhou 022; Divya Ojha; John Criswell (CCS, 2018)

Transforming Code to Drop Dead Privileges. - Xiaoyu Hu; Jie Zhou 022; Spyridoula Gravani; John Criswell (SecDev, 2018)

Beating OPT with Statistical Clairvoyance and Variable Size Caching. - Pengcheng Li 001; Colin Pronovost; William Wilson; Benjamin Tait; Jie Zhou 022; Chen Ding 001; John Criswell (ASPLOS, 2019)

PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use. - John Criswell; Jie Zhou 022; Spyridoula Gravani; Xiaoyu Hu (DSN, 2019)

Restricting Control Flow During Speculative Execution with Venkman. - Zhuojia Shen; Jie Zhou 022; Divya Ojha; John Criswell (CoRR, 2019)

Silhouette: Efficient Intra-Address Space Isolation for Protected Shadow Stacks on Embedded Systems. - Jie Zhou 022; Yufei Du; Lele Ma; Zhuojia Shen; John Criswell; Robert J. Walls (CoRR, 2019)

Refactoring the FreeBSD Kernel with Checked C. - Junhan Duan; Yudi Yang; Jie Zhou 022; John Criswell (SecDev, 2020)

Silhouette: Efficient Protected Shadow Stacks for Embedded Systems. - Jie Zhou 022; Yufei Du; Zhuojia Shen; Lele Ma; John Criswell; Robert J. Walls (USENIX Security Symposium, 2020)

Tutorial: Making C Programs Safer with Checked C. - Jie Zhou 022; Michael Hicks 001; Yudi Yang; John Criswell (SecDev, 2021)

Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage. - Yufei Du; Zhuojia Shen; Komail Dharsee; Jie Zhou 022; Robert J. Walls; John Criswell (USENIX Security Symposium, 2022)

Fat Pointers for Temporal Memory Safety of C. - Jie Zhou 022; John Criswell; Michael Hicks 001 (Proc. ACM Program. Lang., 2023)