The Caernarvon secure embedded operating system

David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber. The Caernarvon secure embedded operating system. Operating Systems Review, 42(1):32-39, 2008. [doi]

@article{TollKPMW08,
  title = {The Caernarvon secure embedded operating system},
  author = {David C. Toll and Paul A. Karger and Elaine R. Palmer and Suzanne McIntosh and Sam Weber},
  year = {2008},
  doi = {10.1145/1341312.1341320},
  url = {http://doi.acm.org/10.1145/1341312.1341320},
  tags = {operating system, C++},
  researchr = {https://researchr.org/publication/TollKPMW08},
  cites = {0},
  citedby = {0},
  journal = {Operating Systems Review},
  volume = {42},
  number = {1},
  pages = {32-39},
}