Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

Develops a load-barrier approach to temporal heap safety for CHERI systems.

Authors

Nathaniel Wesley FilardoBrett F. GutsteinJonathan WoodruffJessica ClarkePeter RuggBrooks DavisMark JohnstonRobert Norton-WrightDavid ChisnallSimon MoorePeter G. NeumannRobert Watson

Citation

Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert Norton-Wright, David Chisnall, Simon W. Moore, Peter G. Neumann, and Robert N. M. Watson. ACM ASPLOS 2024, 2024.