Zhijingcheng Yu

According to our database, Zhijingcheng Yu authored at least 7 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Anvil: A General-Purpose Timing-Safe Hardware Description Language.

Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur, Trevor E. Carlson, Prateek Saxena

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

Caplification: Bridging Capability-Aware and Capability-Oblivious Software.

Jason Zhijingcheng Yu, Mingkai Li, Aditya Badole, Trevor E. Carlson, Michael Swift, Prateek Saxena

Proceedings of the 30th ACM Symposium on Access Control Models and Technologies, 2025

Securing Mixed Rust with Hardware Capabilities.

Jason Zhijingcheng Yu, Fangqi Han, Kaustab Choudhury, Trevor E. Carlson, Prateek Saxena

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2023

Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version).

Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena

CoRR, 2023

Capstone: A Capability-based Foundation for Trustless Secure Memory Access.

Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Elasticlave: An Efficient Memory Model for Enclaves.

Jason Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena

Proceedings of the 31st USENIX Security Symposium, 2022

2021

SmashEx: Smashing SGX Enclaves Using Exceptions.

Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021