@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},conf={ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications},articleno={86},numpages={32},keywords={Fat Pointers, Checked C, Temporal Memory Safety},location={Cascais, Portugal},}
2022
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 The 31st USENIX Security Symposium , Boston, MA, USA, 2022
@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={The 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
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 The 29th USENIX Security Symposium , Virtual, 2020
@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={The 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},}
SecDev
Refactoring the FreeBSD Kernel with Checked C
Junhan Duan, Yudi Yang, Jie Zhou, and John Criswell
In IEEE Secure Development Conference , Virtual, 2020
@inproceedings{FreeBSDCheckedC:SecDev20,author={Duan, Junhan and Yang, Yudi and Zhou, Jie and Criswell, John},booktitle={IEEE Secure Development Conference},title={Refactoring the FreeBSD Kernel with Checked C},year={2020},volume={},number={},pages={15-22},doi={10.1109/SecDev45635.2020.00018},location={Virtual},}
2019
DSN
PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use
John Criswell, Jie Zhou, Spyridoula Gravani, and Xiaoyu Hu
In The 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Portland, OR, USA, 2019
@inproceedings{PrivAnalyzer:DSN19,author={Criswell, John and Zhou, Jie and Gravani, Spyridoula and Hu, Xiaoyu},booktitle={The 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks},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},}
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 The 24th International Conference on Architectural Support for Programming Languages and Operating Systems , Providence, RI, USA, 2019
@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={The 24th 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
SecDev
Transforming Code to Drop Dead Privileges
Xiaoyu Hu, Jie Zhou, Spyridoula Gravani, and John Criswell
In IEEE Cybersecurity Development Conference , Boston, MA, USA, 2018
@inproceedings{AutoPriv:SecDev18,author={Hu, Xiaoyu and Zhou, Jie and Gravani, Spyridoula and Criswell, John},booktitle={IEEE Cybersecurity Development Conference},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
arXiv
Restricting control flow during speculative execution with venkman
Zhuojia Shen, Jie Zhou, Divya Ojha, and John Criswell
@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},}