Not quite a piece of CHERI-cake: Are new digital security by design architectures usable?

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Alhindi, Maysara, Hallett, Joseph
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866908428162564096
author Alhindi, Maysara
Hallett, Joseph
author_facet Alhindi, Maysara
Hallett, Joseph
contents A digital security-by-design computer architecture, like CHERI, lets you program without fear of buffer overflows or other memory safety errors, but CHERI also rewrites some of the assumptions about how C works and how fundamental types (such as pointers) are implemented in hardware. We conducted a usability study to examine how developers react to the changes required by CHERI when porting software to run on it. We find that developers struggle with CHERI's display of warnings and errors and a lack of diverse documentation.
format Preprint
id arxiv_https___arxiv_org_abs_2506_23682
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Not quite a piece of CHERI-cake: Are new digital security by design architectures usable?
Alhindi, Maysara
Hallett, Joseph
Cryptography and Security
Hardware Architecture
Human-Computer Interaction
A digital security-by-design computer architecture, like CHERI, lets you program without fear of buffer overflows or other memory safety errors, but CHERI also rewrites some of the assumptions about how C works and how fundamental types (such as pointers) are implemented in hardware. We conducted a usability study to examine how developers react to the changes required by CHERI when porting software to run on it. We find that developers struggle with CHERI's display of warnings and errors and a lack of diverse documentation.
title Not quite a piece of CHERI-cake: Are new digital security by design architectures usable?
topic Cryptography and Security
Hardware Architecture
Human-Computer Interaction
url https://arxiv.org/abs/2506.23682