Jason Zhijingcheng Yu
- [my surname].z@u.nus.edu
Hi! I am a visiting researcher at Jane Street.
I recently finished my PhD at KISP Lab, School of Computing, National University of Singapore, where I worked with Prateek Saxena on system security.
I am interested in building systems with provable security guarantees. The main projects I have been working on are: Capstone, a capability-based architecture for securing diverse and complex applications from first principles, and AnvilHDL, a hardware description language which helps prevent common bugs at design time.
Before PhD, I earned a bachelor's degree in Computer Science and Technology from Tsinghua University.
Important: If you want to email me, please avoid using the comp.nus.edu.sg email address. It stopped working recently for yet unknown reasons.
Latest News
- June 2026: I started my stint at Jane Street in London.
- May 2026: I have defended my thesis and will be working at Jane Street as a visiting researcher between mid June and mid September.
- March 2026: Later this month, I will be in Pittsburgh presenting our work on AnvilHDL and Pact at ASPLOS and LATTE.
- February 2026: Our work on language-based verification of liveness and communication safety in RTL designs has been accepted at LATTE '26.
- January 2026: I received NUS SoC Dean's Graduate Research Excellence Award!
Publications (* indicates equal contributions)
-
Language-based Hardware Communication Safety and Liveness
In Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE) 2026Aditya Ranjan Jha*, Jason Zhijingcheng Yu*, Umang Mathur, Trevor E. Carlson, Prateek Saxena
-
Anvil: A General-Purpose Timing-Safe Hardware Description Language
In proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2026Jason Zhijingcheng Yu*, Aditya Ranjan Jha*, Umang Mathur, Trevor E. Carlson, Prateek Saxena
-
Securing Mixed Rust with Hardware Capabilities
In proceedings of ACM Conference on Computer and Communications Security (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 (SACMAT) 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 Conference on Computer and Communications Security (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 Conference on Computer and Communications Security (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)
- President, NUS Graduate Student Society Cycling Interest Group (2023)
- Vice-President of Public Relations & Sergeant-at-Arms, NUS Toastmasters Club (2023)
Miscellaneous
In my free time, I enjoy swimming, bicycling, hiking, and reading. I used to participate in competitive programming and still enjoy occasionally solving a problem or two for fun. You can find me on Codeforces and Topcoder.