Jie Zhou

Orcid: 0000-0001-7493-2212

Affiliations:
  • University of Rochester, Department of Computer Science, Rochester, NY, USA


According to our database1, Jie Zhou authored at least 12 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Fat Pointers for Temporal Memory Safety of C.
Proc. ACM Program. Lang., April, 2023

Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust.
CoRR, 2023

2022
Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage.
Proceedings of the 31st USENIX Security Symposium, 2022

2021
Tutorial: Making C Programs Safer with Checked C.
Proceedings of the IEEE Secure Development Conference, 2021

2020
Silhouette: Efficient Protected Shadow Stacks for Embedded Systems.
Proceedings of the 29th USENIX Security Symposium, 2020

Refactoring the FreeBSD Kernel with Checked C.
Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020

2019
Silhouette: Efficient Intra-Address Space Isolation for Protected Shadow Stacks on Embedded Systems.
CoRR, 2019

Restricting Control Flow During Speculative Execution with Venkman.
CoRR, 2019

PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Beating OPT with Statistical Clairvoyance and Variable Size Caching.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018
Transforming Code to Drop Dead Privileges.
Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Restricting Control Flow During Speculative Execution.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018


  Loading...