Full Paper

  • 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.
  • Preprint

  • 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.
  • Tutorial

  • 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.
  • 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