Jason Zhijingcheng Yu
- [my surname].z@u.nus.edu
- Address
- COM3-02-18, 11 Research Link, Singapore 119391
Hi! I am a PhD student at KISP Lab, School of Computing, National University of Singapore. I am working with Prateek Saxena on system security. I am interested in the design of secure computer architectures with features such as full memory safety and fine-grained isolation. I have examined limitations of existing trusted execution environment (TEE) designs in terms of security and expressiveness. My prior work has included the uncovering of SmashEx, an attack that exploits vulnerabilities in asynchronous interfaces of SGX runtimes, and the creation of Elasticlave, an enclaved TEE design that enables safe and flexible inter-enclave memory sharing. The main projects I am currently working on are: Capstone, a capability-based architecture providing a unified foundation for building secure systems, and AnvilHDL, a hardware description language which enforces timing safety with dynamic timing contracts.
Check out my CV for more details!
Latest News
- January 2026: I received NUS SoC Dean's Graduate Research Excellence Award!
- November 2025: On 24 November, I will give a talk on AnvilHDL at Singapore PL Summit.
- November 2025: AnvilHDL has been accepted at ASPLOS '26!
- October 2025: I will attend CCS '25 in Taipei, presenting our work on CapsLock.
Education
- National University of Singapore
PhD in Computer Science, Aug 2019 — June 2026 (expected)
- Tsinghua University
BEng in Computer Science and Technology, Aug 2015 — Jul 2019
Publications (* indicates equal contributions) [Google Scholar] [DBLP]
-
Anvil: A General-Purpose Timing-Safe Hardware Description Language
To appear at ASPLOS 2026Jason Zhijingcheng Yu*, Aditya Ranjan Jha*, Umang Mathur, Trevor E. Carlson, Prateek Saxena
-
Securing Mixed Rust with Hardware Capabilities
In proceedings of ACM CCS 2025Jason Zhijingcheng Yu*, Fangqi Han*, Kaustab Choudhury, Trevor E. Carlson, Prateek Saxena
-
Caplification: Bridging Capability-Aware and Capability-Oblivious Software
In proceedings of ACM Symposium on Access Control Models and Technologies 2025Jason Zhijingcheng Yu, Mingkai Li, Trevor E. Carlson, Michael Swift, Prateek Saxena
-
Capstone: A Capability-based Foundation for Trustless Secure Memory Access
In proceedings of USENIX Security Symposium 2023Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena
-
Elasticlave: An Efficient Memory Model for Enclaves
In proceedings of USENIX Security Symposium 2022Jason Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
-
SmashEx: Smashing SGX Enclaves Using Exceptions
In proceedings of ACM CCS 2021Jinhua Cui*, Jason Zhijingcheng Yu*, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
Posters
-
May 2025An Architecture Design for Expressive SecurityAt RISC-V Summit Europe 2025 (Paris, France)
-
November 2022SmashEx: Smashing SGX Enclaves Using ExceptionsAt ACM CCS 2022 (Los Angeles, USA)
CVE Credits
Teaching
- Introduction to Computer Security (CS3235, Spring 2022)
- Introduction to Computer Security (CS3235, Spring 2021)
- Systems Security (CS5231, Fall 2020)
- Data Structures and Algorithms (CS2010, Spring 2020)
Service
- Reviewer, ACM TACO (2025)
- Program Committee Member, AsiaCCS '26
- NUS CS Department Security Area Search Committee student member (2025)