SmashEx: Smashing SGX Enclaves Using Exceptions. - Jinhua Cui 002; Jason Zhijingcheng Yu; Shweta Shinde; Prateek Saxena; Zhiping Cai (CCS, 2021)

Elasticlave: An Efficient Memory Model for Enclaves. - Jason Zhijingcheng Yu; Shweta Shinde; Trevor E. Carlson; Prateek Saxena (USENIX Security Symposium, 2022)

Capstone: A Capability-based Foundation for Trustless Secure Memory Access. - Jason Zhijingcheng Yu; Conrad Watt; Aditya Badole; Trevor E. Carlson; Prateek Saxena (USENIX Security Symposium, 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)

Caplification: Bridging Capability-Aware and Capability-Oblivious Software. - Jason Zhijingcheng Yu; Mingkai Li; Aditya Badole; Trevor E. Carlson; Michael Swift; Prateek Saxena (SACMAT, 2025)

Anvil: A General-Purpose Timing-Safe Hardware Description Language. - Jason Zhijingcheng Yu; Aditya Ranjan Jha; Umang Mathur 001; Trevor E. Carlson; Prateek Saxena (CoRR, 2025)

Securing Mixed Rust with Hardware Capabilities. - Jason Zhijingcheng Yu; Fangqi Han; Kaustab Choudhury; Trevor E. Carlson; Prateek Saxena (CoRR, 2025)