Jason Zhijingcheng Yu
Hi! I am a PhD student at KISP Lab, School of Computing, National University of Singapore. I am working with Prof 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. The main projects I have been 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 about me!
- Email:
- yu dot zhi at comp dot nus dot edu dot sg
- Address:
- COM3-02-18, 11 Research Link, Singapore 119391
Education
- National University of Singapore
PhD in Computer Science, Aug 2019 — present
- Tsinghua University
BEng in Computer Science and Technology, Aug 2015 — Jul 2019
Publications (* indicates equal contributions, statistics available on Google Scholar)
-
Securing Mixed Rust with Hardware Capabilities
(under review)
-
Anvil: A General-Purpose Timing-Safe Hardware Description Language
(under review)Jason Zhijingcheng Yu*, Aditya Ranjan Jha*, Umang Mathur, Trevor E. Carlson, 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, Prateek Saxena, Zhiping Cai
Talks
-
August 2023Capstone: A Capability-based Foundation for Trustless Secure Memory AccessAt USENIX Security Symposium 2023 (Anaheim, USA)
-
August 2022Elasticlave: An Efficient Memory Model for EnclavesAt USENIX Security Symposium 2022 (Boston, USA)
-
December 2021Elasticlave: An Efficient Memory Model for Enclaves(as part of tutorial From EDA to TEEs, Security Tools for Understanding and Mitigating Side-Channel and Fault Injection Attacks)At Design Automation Conference 2021 (San Francisco, USA)
-
November 2021SmashEx: Smashing SGX Enclaves Using ExceptionsAt ACM CCS 2021 (virtual)
Posters
-
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
- NUS CS Department Security Area Search Committee student member (2025)