CheriRTOS: A Capability Model for Embedded Devices. Xia, H., Woodruff, J., Barral, H., Esswood, L., Joannou, A., Kovacsics, R., Chisnall, D., Roe, M., Davis, B., Napierala, E., Baldwin, J., Gudka, K., Neumann, P. G., Richardson, A., Moore, S. W., & Watson, R. N. M. In ICCD, pages 92-99, 2018. IEEE Computer Society.
CheriRTOS: A Capability Model for Embedded Devices. [link]Link  CheriRTOS: A Capability Model for Embedded Devices. [link]Paper  bibtex   
@inproceedings{conf/iccd/XiaWBEJKCRDNBGN18,
  added-at = {2023-03-23T00:00:00.000+0100},
  author = {Xia, Hongyan and Woodruff, Jonathan and Barral, Hadrien and Esswood, Lawrence and Joannou, Alexandre and Kovacsics, Robert and Chisnall, David and Roe, Michael and Davis, Brooks and Napierala, Edward and Baldwin, John and Gudka, Khilan and Neumann, Peter G. and Richardson, Alexander and Moore, Simon W. and Watson, Robert N. M.},
  biburl = {https://www.bibsonomy.org/bibtex/2d4c7b6b4db26ebb8d1383ae13999c720/dblp},
  booktitle = {ICCD},
  crossref = {conf/iccd/2018},
  ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.2018.00023},
  interhash = {1bc3c4f058f43e1b8beb33b4ac5682bb},
  intrahash = {d4c7b6b4db26ebb8d1383ae13999c720},
  isbn = {978-1-5386-8477-1},
  keywords = {dblp},
  pages = {92-99},
  publisher = {IEEE Computer Society},
  timestamp = {2024-04-10T06:23:47.000+0200},
  title = {CheriRTOS: A Capability Model for Embedded Devices.},
  url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2018.html#XiaWBEJKCRDNBGN18},
  year = 2018
}

Downloads: 0