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. CheriRTOS: A Capability Model for Embedded Devices. In 36th IEEE International Conference on Computer Design, ICCD 2018, Orlando, FL, USA, October 7-10, 2018. pages 92-99, IEEE, 2018. [doi]
@inproceedings{XiaWBEJKCRDNBGN18,
title = {CheriRTOS: A Capability Model for Embedded Devices},
author = {Hongyan Xia and Jonathan Woodruff and Hadrien Barral and Lawrence Esswood and Alexandre Joannou and Robert Kovacsics and David Chisnall and Michael Roe and Brooks Davis and Edward Napierala and John Baldwin and Khilan Gudka and Peter G. Neumann and Alexander Richardson and Simon W. Moore and Robert N. M. Watson},
year = {2018},
doi = {10.1109/ICCD.2018.00023},
url = {https://doi.org/10.1109/ICCD.2018.00023},
researchr = {https://researchr.org/publication/XiaWBEJKCRDNBGN18},
cites = {0},
citedby = {0},
pages = {92-99},
booktitle = {36th IEEE International Conference on Computer Design, ICCD 2018, Orlando, FL, USA, October 7-10, 2018},
publisher = {IEEE},
isbn = {978-1-5386-8477-1},
}