CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment
- Submitting institution
-
University of Cambridge
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1880
- Type
- E - Conference contribution
- DOI
-
10.1145/3297858.3304042
- Title of conference / published proceedings
- International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS
- First page
- 379
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- April
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
20
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The paper won best paper award at ASPLOS 2019. It develops a C/C++ memory-safety model based on the CHERI processor architecture and demonstrates for the first time that C/C++ spatial memory safety can be scaled to a full UNIX operating system and applications such as Postgres and WebKit. CHERI motivated the £187M Industrial Strategy Challenge Fund (ISCF) programme and the Arm Morello processor shipping in 2022. Teams at Arm, Microsoft, Google, Huawei, and other major tech companies are using the CheriABI design to introduce memory safety in Android and other systems.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -