-
Fat Pointers for Temporal Memory Safety of C
[paper]
[code]
Jie Zhou, John Criswell, and Michael Hicks
[OOPSLA'23] ACM Conference on Object-Oriented Programming Languages, Systems, and Applications, Cascais, Portugal, 2023. -
Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage
[paper]
Yufei Du, Zhuojia Shen, Komail Dharsee, Jie Zhou, Robert J. Walls, John Criswell
[USENIX Security'22] The 31th USENIX Security Symposium, Boston, MA, Aug. 2022. -
Refactoring the FreeBSD Kernel with Checked C
[paper]
Junhan Duan*, Yudi Yang*, Jie Zhou, John Criswell
(* equally contributed)
[SecDev'20] IEEE Secure Development Conference, Virtual Conference, Sep. 2020. -
Silhouette: Efficient Protected Shadow Stacks for Embedded Systems
[paper]
[video]
[slides]
[code]
Jie Zhou, Yufei Du, Zhuojia Shen, Lele Ma, John Criswell, Robert J. Walls
[USENIX Security'20] The 29th USENIX Security Symposium, Virtual Conference, Aug. 2020. -
PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use
[paper]
[code]
John Criswell, Jie Zhou, Spyridoula Gravani, Xiaoyu Hu
[DSN'19] The 49th IEEE/IFIP International Conference on Dependable Systems and Networks, Portland, Oregon, June 2019. -
Beating OPT with Statistical Clairvoyance and Variable Size Caching
[paper]
Pengcheng Li, Colin Pronovost, William Wilson, Benjamin Tait, Jie Zhou,
Chen Ding, John Criswell
[ASPLOS'19] The 24th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Providence, RI, Apr. 2019. -
Transforming Code to Drop Dead Privileges [paper]
[abstract]
[slides]
[code]
Xiaoyu Hu, Jie Zhou, Spyridoula Gravani, John Criswell
[SecDev'18] IEEE Secure Development Conference, Boston, MA, Sept. 2018. -
Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust
[paper]
Jie Zhou, Minshen Sun, John Criswell
[arXiv] e-Print 2310.10298. Oct. 2023. -
Restricting Control Flow During Speculative Execution with Venkman
[paper]
Zhuojia Shen, Jie Zhou, Divya Ojha, John Criswell
[arXiv] e-Print 1903.10651. March 2019. -
Making C Programs Safer with Checked C
[paper]
[slides]
Jie Zhou, Michael Hicks, Yudi Yang, John Criswell
[SecDev'21] IEEE Secure Development Conference, Virtual Conference, Oct. 2021.
Full Paper
Preprint
Tutorial
Poster
POSTER: Restricting Control Flow During Speculative Execution. [paper] [poster]Zhuojia Shen, Jie Zhou, Divya Ojha, John Criswell
[CCS'18] The 25th ACM Conference on Computer and Communications Security, Toronto, ON, Oct. 2018