Conference Papers

2023

1. OOPSLA

   Fat Pointers for Temporal Memory Safety of C

   Jie Zhou, John Criswell, and Michael Hicks

   In Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA1 , Cascais, Portugal, 2023

   PDF Video Code Bib

   @inproceedings{CheckedCTemporal:OOPSLA23,
     author = {Zhou, Jie and Criswell, John and Hicks, Michael},
     title = {{Fat Pointers for Temporal Memory Safety of C}},
     year = {2023},
     issue_date = {April 2023},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {7},
     number = {OOPSLA1},
     url = {https://doi.org/10.1145/3586038},
     doi = {10.1145/3586038},
     booktitle = {Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA1},
     articleno = {86},
     numpages = {32},
     keywords = {Fat Pointers, Checked C, Temporal Memory Safety},
     location = {Cascais, Portugal},
   }

2022

1. USENIX Security

   Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage

   Yufei Du, Zhuojia Shen, Komail Dharsee, Jie Zhou, Robert J. Walls, and John Criswell

   In 31st USENIX Security Symposium , Boston, MA, USA, 2022

   PDF Video Code Bib

   @inproceedings{Kage:Sec22,
     author = {Du, Yufei and Shen, Zhuojia and Dharsee, Komail and Zhou, Jie and Walls, Robert J. and Criswell, John},
     title = {Holistic {Control-Flow} Protection on {Real-Time} Embedded Systems with Kage},
     booktitle = {31st USENIX Security Symposium},
     year = {2022},
     isbn = {978-1-939133-31-1},
     address = {Boston, MA, USA},
     pages = {2281--2298},
     url = {https://www.usenix.org/conference/usenixsecurity22/presentation/du},
     publisher = {USENIX Association},
     location = {Boston, MA, USA},
   }

2020

1. USENIX Security

   Silhouette: Efficient Protected Shadow Stacks for Embedded Systems

   Jie Zhou, Yufei Du, Zhuojia Shen, Lele Ma, John Criswell, and Robert J. Walls

   In 29th USENIX Security Symposium , Virtual Conference, 2020

   PDF Video Code Bib

   @inproceedings{Silhouette:Sec20,
     author = {Zhou, Jie and Du, Yufei and Shen, Zhuojia and Ma, Lele and Criswell, John and Walls, Robert J.},
     title = {Silhouette: Efficient Protected Shadow Stacks for Embedded Systems},
     booktitle = {29th {USENIX} Security Symposium},
     year = {2020},
     isbn = {978-1-939133-17-5},
     pages = {1219--1236},
     url = {https://www.usenix.org/conference/usenixsecurity20/presentation/zhou-jie},
     publisher = {{USENIX} Association},
     location = {Virtual Conference},
   }

2. SecDev

   Refactoring the FreeBSD Kernel with Checked C

   Junhan Duan, Yudi Yang, Jie Zhou, and John Criswell

   In 2020 IEEE Secure Development (SecDev) , Virtual Conference, 2020

   PDF Bib

   @inproceedings{FreeBSDCheckedC:SecDev20,
     author = {{Duan}, Junhan and {Yang}, Yudi and {Zhou}, Jie and {Criswell}, John},
     booktitle = {2020 IEEE Secure Development (SecDev)},
     title = {Refactoring the FreeBSD Kernel with Checked C},
     year = {2020},
     volume = {},
     number = {},
     pages = {15-22},
     doi = {10.1109/SecDev45635.2020.00018},
     location = {Virtual Conference},
   }

2019

1. DSN

   PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use

   John Criswell, Jie Zhou, Spyridoula Gravani, and Xiaoyu Hu

   In 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) , Portland, OR, USA, 2019

   PDF Code Bib

   @inproceedings{PrivAnalyzer:DSN19,
     author = {Criswell, John and Zhou, Jie and Gravani, Spyridoula and Hu, Xiaoyu},
     booktitle = {2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)},
     title = {PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use},
     year = {2019},
     volume = {},
     number = {},
     pages = {593-604},
     doi = {10.1109/DSN.2019.00065},
     location = {Portland, OR, USA},
   }

2. ASPLOS

   Beating OPT with Statistical Clairvoyance and Variable Size Caching

   Pengcheng Li, Colin Pronovost, William Wilson, Benjamin Tait, Jie Zhou, Chen Ding, and John Criswell

   In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems , Providence, RI, USA, 2019

   PDF Bib

   @inproceedings{LeaseCache:ASPLOS19,
     author = {Li, Pengcheng and Pronovost, Colin and Wilson, William and Tait, Benjamin and Zhou, Jie and Ding, Chen and Criswell, John},
     title = {Beating OPT with Statistical Clairvoyance and Variable Size Caching},
     year = {2019},
     isbn = {9781450362405},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3297858.3304067},
     doi = {10.1145/3297858.3304067},
     booktitle = {Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems},
     pages = {243–256},
     numpages = {14},
     keywords = {LRU, OPT, VMIN, lease cache, locality metrics},
     location = {Providence, RI, USA},
     series = {ASPLOS '19},
   }

2018

1. SecDev

   Transforming Code to Drop Dead Privileges

   Xiaoyu Hu, Jie Zhou, Spyridoula Gravani, and John Criswell

   In 2018 IEEE Cybersecurity Development (SecDev) , Boston, MA, USA, 2018

   PDF Code Bib

   @inproceedings{AutoPriv:SecDev18,
     author = {Hu, Xiaoyu and Zhou, Jie and Gravani, Spyridoula and Criswell, John},
     booktitle = {2018 IEEE Cybersecurity Development (SecDev)},
     title = {Transforming Code to Drop Dead Privileges},
     year = {2018},
     volume = {},
     number = {},
     pages = {45-52},
     doi = {10.1109/SecDev.2018.00014},
     location = {Boston, MA, USA},
   }

Preprint

2019

1. arXiv

   Restricting control flow during speculative execution with venkman

   Zhuojia Shen, Jie Zhou, Divya Ojha, and John Criswell

   arXiv preprint arXiv:1903.10651, 2019

   PDF Bib

   @article{Venkman:arxiv19,
     title = {Restricting control flow during speculative execution with venkman},
     author = {Shen, Zhuojia and Zhou, Jie and Ojha, Divya and Criswell, John},
     journal = {arXiv preprint arXiv:1903.10651},
     year = {2019},
   }