CHERI: Hardware-Enabled C/C++ Memory Protection at Scale

Reviews CHERI's hardware-supported protection model and experience applying it to large C and C++ software stacks.

Authors

Robert WatsonDavid ChisnallJessica ClarkeBrooks DavisNathaniel Wesley FilardoBen LaurieSimon MoorePeter G. NeumannAlex RichardsonPeter SewellKonrad WitaszczykJonathan Woodruff

Citation

Robert N. M. Watson, David Chisnall, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Ben Laurie, Simon W. Moore, Peter G. Neumann, Alexander Richardson, Peter Sewell, Konrad Witaszczyk, and Jonathan Woodruff. IEEE Security & Privacy, 22(4), 2024.