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

Published in: ICCD (2018)

Keyphrases