Ben Laurie

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization

Robert N. M. Watson, Jonathan Woodruff, Peter G. Neumann et al. · 2015 · 257 citations · Full text

Software Maintenance, Engineering, Computer Architecture +23

Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims

Miles Brundage, Shahar Avin, Jasmine Wang et al. · Data Archiving and Networked Services (DANS) · 2020 · 211 citations · Full text

Artificial Intelligence, Engineering, Information Security +19

The CHERI capability model

Jonathan Woodruff, Robert N. M. Watson, David Chisnall et al. · ACM SIGARCH Computer Architecture News · 2014 · 209 citations

Engineering, Computational Model Theory, Computer Architecture +22

Certificate transparency

Ben Laurie · Communications of the ACM · 2014 · 163 citations

Engineering, Log Analysis, Information Security +11

The CHERI capability model: Revisiting RISC in an age of risk

Jonathan Woodruff, Robert N. M. Watson, David Chisnall et al. · 2014 · 155 citations

Engineering, Computer Architecture, Risk Analysis +28