Cited By
View all- Zhou ZAnjali Chen WGong SHawblitzel CCui WGavrilovska ATerry D(2024)VERISMOProceedings of the 18th USENIX Conference on Operating Systems Design and Implementation10.5555/3691938.3691970(599-614)Online publication date: 10-Jul-2024
- Wu XTian DKim C(2023)Building GPU TEEs using CPU Secure Enclaves with GEVisorProceedings of the 2023 ACM Symposium on Cloud Computing10.1145/3620678.3624659(249-264)Online publication date: 30-Oct-2023
- Zhou YGibson SCai SWinchell MParno BMeng WJensen CCremers CKirda E(2023)Galápagos: Developing Verified Low Level Cryptography on Heterogeneous HardwaresProceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security10.1145/3576915.3616603(2113-2127)Online publication date: 15-Nov-2023
- Show More Cited By