Formal Modeling and Security Analysis for Intra-level Privilege Separation-Reference-Cited by-同舟云学术

Formal Modeling and Security Analysis for Intra-level Privilege Separation

Published:2022-12-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th Annual Computer Security Applications Conference
language:
Short-container-title:

Author:

Guo Yinggang¹^ORCID,Wang Zicheng¹^ORCID,Zhong Bingnan¹^ORCID,Zeng Qingkai¹^ORCID

Affiliation:

1. State Key Laboratory for Novel Software Technology, Nanjing University, China

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3564625.3567984

Reference57 articles.

1. Arm. 2022 . Arm Architecture Reference Manual . Retrieved June 28, 2022 from https://developer.arm.com/documentation Arm. 2022. Arm Architecture Reference Manual. Retrieved June 28, 2022 from https://developer.arm.com/documentation

2. Ahmed M Azab , Kirk Swidowski , Rohan Bhutkar , Jia Ma , Wenbo Shen , Ruowen Wang , and Peng Ning . 2016 . SKEE: A lightweight Secure Kernel-level Execution Environment for ARM.. In NDSS, Vol. 16. 21–24. Ahmed M Azab, Kirk Swidowski, Rohan Bhutkar, Jia Ma, Wenbo Shen, Ruowen Wang, and Peng Ning. 2016. SKEE: A lightweight Secure Kernel-level Execution Environment for ARM.. In NDSS, Vol. 16. 21–24.

3. SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems

4. MIPE: a practical memory integrity protection method in a trusted execution environment

5. Yuan Chen , Jiaqi Li , Guorui Xu , Yajin Zhou , Zhi Wang , Cong Wang , and Kui Ren . 2022 . SGXLock: Towards Efficiently Establishing Mutual Distrust Between Host Application and Enclave for SGX. In USENIX Security Symposium. 4129–4146 . Yuan Chen, Jiaqi Li, Guorui Xu, Yajin Zhou, Zhi Wang, Cong Wang, and Kui Ren. 2022. SGXLock: Towards Efficiently Establishing Mutual Distrust Between Host Application and Enclave for SGX. In USENIX Security Symposium. 4129–4146.