Author:
Gu Jinyu,Hua Zhichao,Li Mingyu,Chen Haibo
Publisher
Science China Press., Co. Ltd.
Reference41 articles.
1. Chen H B, Xia Y B. Modern Operating System Principle and Implementation (in Chinese). Beijing: China Machine Press, 2020 [陈海波, 夏虞斌. 现代操作系统原理与实现. 北京: 机械工业出版社, 2020].
2. Feng E, Lu X, Du D, et al. Scalable memory protection in the Penglai enclave. In: 15th USENIX Symposium on Operating Systems Design and Implementation. Berkeley: The USENIX Association, 2021. 275–294.
3. Hoekstra M, Lal R, Pappachan P, et al. Using innovative instructions to create trustworthy software solutions. HASP@ISCA, 2013, 11: 2487726–2488370.
4. Pinto S, Santos N. Demystifying arm trustzone. ACM Comput Surv, 2019, 51: 1-36.
5. Ferraiuolo A, Baumann A, Hawblitzel C, et al. Komodo: Using verification to disentangle secure-enclave hardware from software. In: Proceedings of the 26th Symposium on Operating Systems Principles. New York: The Association for Computing Machinery, 2017. 287–305.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献