中文

选择 CHERI 分配器:安全性与性能考量

软件工程 2023-05-16 v2 密码学与安全 编程语言

摘要

若干开源内存分配器已被移植到 CHERI(一种硬件能力平台)。本文考察了这些分配器在 Arm 的实验性 Morello 平台上于 CheriBSD 下运行时的安全性与性能。我们引入了若干安全攻击,并表明除一种分配器外,其余分配器均易受其中部分攻击——包括 CheriBSD 默认分配器。我们随后表明,尽管某些形式的分配器性能具有可比性意义,但比较混合能力与纯能力(即“在非 CHERI 与 CHERI 模式下运行”)分配器的性能似乎并无意义。尽管我们尚未完全理解其原因,但这似乎至少在一定程度上源于不成熟的编译器工具链等因素,亦源于能力在硬件上的影响。

关键词

引用

@article{arxiv.2303.15130,
  title  = {Picking a CHERI Allocator: Security and Performance Considerations},
  author = {Jacob Bramley and Dejice Jacob and Andrei Lascu and Jeremy Singer and Laurence Tratt},
  journal= {arXiv preprint arXiv:2303.15130},
  year   = {2023}
}