Author:
Ma Yuwei,Zhang Qianying,Zhao Shijun,Wang Guohui,Li Ximeng,Shi Zhiping
Funder
National Natural Science Foundation of China
Project of Beijing Municipal Education Commission
Open Research Fund of State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Memory Confidentiality and Integrity of Intel TDX Trusted Execution Environments;2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST);2024-05-06
2. Formal Verification of Interrupt Isolation for the TrustZone-based TEE;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04
3. Enabling Trusted TEE-as-a-Service Models with Privacy Preserving Automatons;2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom);2023-12-04
4. Lark: Verified Cross-Domain Access Control for Trusted Execution Environments;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09
5. Authentication and Confidentiality in FPGA-Based Clouds;Security of FPGA-Accelerated Cloud Computing Environments;2023-09-18