Get started
Author

Brooks Davis

Observed name: Davis, Brooks
ORCID: 0009-0006-6256-0419
Observed ORCID: 0009-0006-6256-0419
OpenAlex ID: A5048690334
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
2015 · Robert N.M. Watson, Jonathan Woodruff, et al. · IEEE Symposium on Security and Privacy (S&P) · 304
PDF
The CHERI capability model
2014 · Jonathan Woodruff, Robert N.M. Watson, et al. · ACM SIGARCH Computer Architecture News · 227
The CHERI capability model: Revisiting RISC in an age of risk
2014 · Jonathan Woodruff, Robert N. M. Watson, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 182
Beyond the PDP-11
2015 · David Chisnall, Colin Rothwell, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 80
PDF
Clean Application Compartmentalization with SOAAP
2015 · Khilan Gudka, Robert N.M. Watson, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 75
Exploring C semantics and pointer provenance
2019 · Kayvan Memarian, Victor B. F. Gomes, et al. · Proceedings of the ACM on Programming Languages · 72
PDF
CheriABI
2019 · Brooks Davis, Robert N. M. Watson, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 70
PDF
Cornucopia: Temporal Safety for CHERI Heaps
2020 · Nathaniel Wesley Filardo, Brett F. Gutstein, et al. · IEEE Symposium on Security and Privacy (S&P) · 67
PDF
CHERI Concentrate: Practical Compressed Capabilities
2019 · Jonathan Woodruff, Alexandre Joannou, et al. · IEEE Transactions on Computers · 67
PDF
Efficient Tagged Memory
2017 · Alexandre Joannou, Jonathan Woodruff, et al. · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · 53
PDF
Fast Protection-Domain Crossing in the CHERI Capability-System Architecture
2016 · Robert N.M. Watson, Robert M. Norton, et al. · IEEE Micro · 40
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 6)
2021 · Robert N. M. Watson, Peter G. Neumann, et al. · CL Technical Reports · 37
CHERI JNI
2017 · David Chisnall, Brooks Davis, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 31
PDF
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety
2024 · Nathaniel Wesley Filardo, Brett F. Gutstein, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 28
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 9)
2023 · Robert N. M. Watson, Peter G. Neumann, et al. · CL Technical Reports · 27
CheriRTOS: A Capability Model for Embedded Devices
2018 · Hongyan Xia, Jonathan Woodruff, et al. · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · 26
CHERI C/C++ Programming Guide
2021 · Robert N. M. Watson, Alexander Richardson, et al. · CL Technical Reports · 20
CHERI: Hardware-Enabled C/C++ Memory Protection at Scale
2024 · Robert N. M. Watson, David Chisnall, et al. · IEEE Security & Privacy · 18
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture
2021 · Robert N. M. Watson, Peter G. Neumann, et al. · CL Technical Reports · 18
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 8)
2021 · Robert N. M. Watson, Peter G. Neumann, et al. · CL Technical Reports · 14
Bluespec Extensible RISC Implementation: BERI Hardware reference
2021 · Robert N.M. Watson, Jonathan Woodruff, et al. · 12
CHERI JNI
2017 · David Chisnall, Brooks Davis, et al. · ACM SIGARCH Computer Architecture News · 12
Beyond the PDP-11
2015 · David Chisnall, Colin Rothwell, et al. · ACM SIGARCH Computer Architecture News · 12
It Is Time to Standardize Principles and Practices for Software Memory Safety
2025 · Robert N.M. Watson, John Baldwin, et al. · Communications of the ACM · 11
PDF
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
2024 · Vadim Zaliva, Kayvan Memarian, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 10
PDF
Works count: 46
Citation count: 1,570
H-index: 18
I10-index: 25
Year
Topic
Type