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