과제정보
본 연구는 2024년도 정부(과학기술정보통신부)의 재원으로 정보통신기획평가원(IITP-2023-RS-2023-00256081), 한국연구재단(RS-2023-00277326), BK21 FOUR 정보기술 미래인재 교육연구단, 그리고 반도체 공동연구소의 지원을 받아 수행된 연구임.
참고문헌
- Victor Costan, "Intel SGX explained", Cryptology ePrint Archive, 2016
- Dayeol Lee, "Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing", ACM SIGSAC Conference on Computer and Communications Security, Los Angles, USA, 2022, pp.1871-1885
- Jason Zhijingcheng Yu, "Elasticlave: An Efficient Memory Model for Enclaves", USENIX Security Symposium, Boston, USA, 2022, pp.4111-4128
- Xupeng Li, "Design and Verification of the ARM Confidential Compute Architecture", USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, USA, 2022, pp.465-484
- Pinto Sandro, "Demystifying ARM TrustZone", ACM Computing Surveys, 51, 6, 1-36, 2019 https://doi.org/10.1145/3291047