并非完整的CHERI蛋糕：新的数字安全设计架构是否可用？
密码学与安全
2025-07-01 v1 硬件体系结构
人机交互
摘要
一种以安全为设计的数字计算机架构（如CHERI）允许您在无需担心缓冲区溢出或其他内存安全错误的情况下进行编程，但CHERI也重写了一些关于C工作方式以及基本类型（如指针）在硬件中实现方式的假设。我们进行了一次可用性研究，以检验开发人员对CHERI在移植软件以在其上运行时所需更改的反应。我们发现开发人员在CHERI显示的警告和错误以及对多样化文档缺乏方面感到困难。
引用
@article{arxiv.2506.23682,
title = {Not quite a piece of CHERI-cake: Are new digital security by design architectures usable?},
author = {Maysara Alhindi and Joseph Hallett},
journal= {arXiv preprint arXiv:2506.23682},
year = {2025}
}