Komodo-Reference-Cited by-同舟云学术

Komodo

Published:2017-10-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th Symposium on Operating Systems Principles
language:
Short-container-title:

Author:

Ferraiuolo Andrew¹,Baumann Andrew²,Hawblitzel Chris²,Parno Bryan³

Affiliation:

1. Cornell University

2. Microsoft Research

3. Carnegie Mellon University

Publisher

ACM

Link

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

Reference83 articles.

1. PrimeCell Infrastructure AMBA 3 TrustZone Protection Controller (BP147) Technical Overview. ARM Limited Nov. 2004. Ref. DTO 0015A. PrimeCell Infrastructure AMBA 3 TrustZone Protection Controller (BP147) Technical Overview. ARM Limited Nov. 2004. Ref. DTO 0015A.

2. Building a Secure System using TrustZone Technology. ARM Limited Apr. 2009. Ref. PRD29-GENC-009492C. Building a Secure System using TrustZone Technology. ARM Limited Apr. 2009. Ref. PRD29-GENC-009492C.

3. ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition. ARM Limited May 2014. Ref. DDI 0406C.c. ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition. ARM Limited May 2014. Ref. DDI 0406C.c.

4. ARM CoreLink TZC-400 TrustZone Address Space Controller Technical Reference Manual. ARM Limited Feb. 2014. Ref. DDI 0504C. ARM CoreLink TZC-400 TrustZone Address Space Controller Technical Reference Manual. ARM Limited Feb. 2014. Ref. DDI 0504C.

Cited by 94 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. sNPU: Trusted Execution Environments on Integrated NPUs;2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA);2024-06-29

2. A Trusted Execution Environment RISC-V System-on-Chip Compatible with Transport Layer Security 1.3;Electronics;2024-06-26

3. Foundational Integration Verification of a Cryptographic Server;Proceedings of the ACM on Programming Languages;2024-06-20

4. Memory-Efficient and Secure DNN Inference on TrustZone-enabled Consumer IoT Devices;IEEE INFOCOM 2024 - IEEE Conference on Computer Communications;2024-05-20

5. Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27