CHERIoT: Complete Memory Safety for Embedded Devices-Reference-Cited by-同舟云学术

CHERIoT: Complete Memory Safety for Embedded Devices

Published:2023-10-28 Issue: Volume: Page:
ISSN:
Container-title:56th Annual IEEE/ACM International Symposium on Microarchitecture
language:
Short-container-title:

Author:

Amar Saar¹^ORCID,Chisnall David²^ORCID,Chen Tony³^ORCID,Filardo Nathaniel Wesley⁴^ORCID,Laurie Ben⁵^ORCID,Liu Kunyan³^ORCID,Norton Robert⁶^ORCID,Moore Simon W.⁷^ORCID,Tao Yucong³^ORCID,Watson Robert N. M.⁷^ORCID,Xia Hongyan⁸^ORCID

Affiliation:

1. Microsoft, Israel

2. Microsoft, United Kingdom and University of Cambridge, United Kingdom

3. Microsoft, USA

4. University of Cambridge, United Kingdom and Microsoft, United Kingdom

5. Google, United Kingdom

6. Microsoft, United Kingdom

7. University of Cambridge, United Kingdom

8. Arm Ltd., United Kingdom

Funder

Defense Advanced Research Projects Agency (DARPA)

Innovate UK project

Publisher

ACM

Link

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

Reference28 articles.

1. [n. d.]. The CHERIoT RTOS. https://github.com/Microsoft/CHERIoT-RTOS Accessed November 2023 . [n. d.]. The CHERIoT RTOS. https://github.com/Microsoft/CHERIoT-RTOS Accessed November 2023.

2. ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

3. List processing in real time on a serial computer

4. Gal Beniamini. 2017. Over the air: Exploiting Broadcom’s Wi-Fi Stack (part 1). https://googleprojectzero.blogspot.com/2017/04/over-air-exploiting-broadcoms-wi-fi_4.html Gal Beniamini. 2017. Over the air: Exploiting Broadcom’s Wi-Fi Stack (part 1). https://googleprojectzero.blogspot.com/2017/04/over-air-exploiting-broadcoms-wi-fi_4.html

5. Predictable and efficient virtual addressing for safety-critical real-time systems

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

1. μBPF: Using eBPF for Microcontroller Compartmentalization;Proceedings of the SIGCOMM Workshop on eBPF and Kernel Extensions;2024-08-04

2. CHERI: Hardware-Enabled C/C++ Memory Protection at Scale;IEEE Security & Privacy;2024-07

3. Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27