@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
}

{"_id":"vShaYcwsdubeYG3D6","bibbaseid":"xia-woodruff-barral-esswood-joannou-kovacsics-chisnall-roe-etal-cherirtosacapabilitymodelforembeddeddevices-2018","author_short":["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."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-03-23T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Xia"],"firstnames":["Hongyan"],"suffixes":[]},{"propositions":[],"lastnames":["Woodruff"],"firstnames":["Jonathan"],"suffixes":[]},{"propositions":[],"lastnames":["Barral"],"firstnames":["Hadrien"],"suffixes":[]},{"propositions":[],"lastnames":["Esswood"],"firstnames":["Lawrence"],"suffixes":[]},{"propositions":[],"lastnames":["Joannou"],"firstnames":["Alexandre"],"suffixes":[]},{"propositions":[],"lastnames":["Kovacsics"],"firstnames":["Robert"],"suffixes":[]},{"propositions":[],"lastnames":["Chisnall"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Roe"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Davis"],"firstnames":["Brooks"],"suffixes":[]},{"propositions":[],"lastnames":["Napierala"],"firstnames":["Edward"],"suffixes":[]},{"propositions":[],"lastnames":["Baldwin"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Gudka"],"firstnames":["Khilan"],"suffixes":[]},{"propositions":[],"lastnames":["Neumann"],"firstnames":["Peter","G."],"suffixes":[]},{"propositions":[],"lastnames":["Richardson"],"firstnames":["Alexander"],"suffixes":[]},{"propositions":[],"lastnames":["Moore"],"firstnames":["Simon","W."],"suffixes":[]},{"propositions":[],"lastnames":["Watson"],"firstnames":["Robert","N.","M."],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/iccd/XiaWBEJKCRDNBGN18,\n added-at = {2023-03-23T00:00:00.000+0100},\n 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.},\n biburl = {https://www.bibsonomy.org/bibtex/2d4c7b6b4db26ebb8d1383ae13999c720/dblp},\n booktitle = {ICCD},\n crossref = {conf/iccd/2018},\n ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.2018.00023},\n interhash = {1bc3c4f058f43e1b8beb33b4ac5682bb},\n intrahash = {d4c7b6b4db26ebb8d1383ae13999c720},\n isbn = {978-1-5386-8477-1},\n keywords = {dblp},\n pages = {92-99},\n publisher = {IEEE Computer Society},\n timestamp = {2024-04-10T06:23:47.000+0200},\n title = {CheriRTOS: A Capability Model for Embedded Devices.},\n url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2018.html#XiaWBEJKCRDNBGN18},\n year = 2018\n}\n\n","author_short":["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."],"key":"conf/iccd/XiaWBEJKCRDNBGN18","id":"conf/iccd/XiaWBEJKCRDNBGN18","bibbaseid":"xia-woodruff-barral-esswood-joannou-kovacsics-chisnall-roe-etal-cherirtosacapabilitymodelforembeddeddevices-2018","role":"author","urls":{"Link":"https://doi.ieeecomputersociety.org/10.1109/ICCD.2018.00023","Paper":"http://dblp.uni-trier.de/db/conf/iccd/iccd2018.html#XiaWBEJKCRDNBGN18"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/richardson?items=1000","dataSources":["7YhZFTCcSoZRL2zBM"],"keywords":["dblp"],"search_terms":["cherirtos","capability","model","embedded","devices","xia","woodruff","barral","esswood","joannou","kovacsics","chisnall","roe","davis","napierala","baldwin","gudka","neumann","richardson","moore","watson"],"title":"CheriRTOS: A Capability Model for Embedded Devices.","year":2018}