Memory safety
Related papers: 1
Top Researchers
Top Cited Papers
CheriRTOS: A Capability Model for Embedded Devices
Hongyan Xia, Jonathan Woodruff, Hadrien Barral, Lawrence Esswood, Alexandre Joannou, Robert Kovacsics, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alexander Richardson, Simon W. Moore, Robert N. M. Watson
Citations: 20 • 2018