Jie Zhou

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 13

Top Topics

Speculative Execution

Embedded Systems

Temporal Dimension

Top Venues

USENIX Security Symposium

Proc. ACM Program. Lang.

Publications

Jie Zhou, Mingshen Sun, John Criswell
Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust. CoRR (2023)
Jie Zhou, John Criswell, Michael Hicks
Fat Pointers for Temporal Memory Safety of C. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Jie Zhou, John Criswell, Michael Hicks
Fat Pointers for Temporal Memory Safety of C. CoRR (2022)
Yufei Du, Zhuojia Shen, Komail Dharsee, Jie Zhou, Robert J. Walls, John Criswell
Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage. USENIX Security Symposium (2022)
Jie Zhou, Michael Hicks, Yudi Yang, John Criswell
Tutorial: Making C Programs Safer with Checked C. SecDev (2021)
Junhan Duan, Yudi Yang, Jie Zhou, John Criswell
Refactoring the FreeBSD Kernel with Checked C. SecDev (2020)
Jie Zhou, Yufei Du, Zhuojia Shen, Lele Ma, John Criswell, Robert J. Walls
Silhouette: Efficient Protected Shadow Stacks for Embedded Systems. USENIX Security Symposium (2020)
Pengcheng Li, Colin Pronovost, William Wilson, Benjamin Tait, Jie Zhou, Chen Ding, John Criswell
Beating OPT with Statistical Clairvoyance and Variable Size Caching. ASPLOS (2019)
John Criswell, Jie Zhou, Spyridoula Gravani, Xiaoyu Hu
PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use. DSN (2019)
Jie Zhou, Yufei Du, Lele Ma, Zhuojia Shen, John Criswell, Robert J. Walls
Silhouette: Efficient Intra-Address Space Isolation for Protected Shadow Stacks on Embedded Systems. CoRR (2019)
Zhuojia Shen, Jie Zhou, Divya Ojha, John Criswell
Restricting Control Flow During Speculative Execution with Venkman. CoRR (2019)
Zhuojia Shen, Jie Zhou, Divya Ojha, John Criswell
Restricting Control Flow During Speculative Execution. CCS (2018)
Xiaoyu Hu, Jie Zhou, Spyridoula Gravani, John Criswell
Transforming Code to Drop Dead Privileges. SecDev (2018)