Jason Zhijingcheng Yu is an author at ETH Zurich specializing in formal verification, hardware security, and engineering.
Top concepts
EngineeringComputer ScienceHardware SecuritySoftware AnalysisFormal VerificationComputer Architecture
Publications per year
2021–2021
1
1
SmashEx: Smashing SGX Enclaves Using Exceptions
Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde et al. · 2021 · 29 citations · Full text
Hardware Security, Engineering, Commodity Hardware Functionality +9
Rows per page
1–1 of 1