@inproceedings{cs-08-1,
  title = {{CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization}},
  author = {Watson, Robert N.M. and Woodruff, Jonathan and Neumann, Peter G. and Moore, Simon W. and Anderson, Jonathan and Chisnall, David and Dave, Nirav and Davis, Brooks and Gudka, Khilan and Laurie, Ben and Murdoch, Steven J. and Norton, Robert and Roe, Michael and Son, Stacey and Vadera, Munraj},
  booktitle = {2015 IEEE Symposium on Security and Privacy},
  year = {2015},
  doi = {10.1109/sp.2015.9},
  url = {https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-publications.html}
}

@inproceedings{cs-08-2,
  title = {{Cornucopia: Temporal Safety for CHERI Heaps}},
  author = {Wesley Filardo, Nathaniel and Gutstein, Brett F. and Woodruff, Jonathan and Ainsworth, Sam and Paul-Trifu, Lucian and Davis, Brooks and Xia, Hongyan and Tomasz Napierala, Edward and Richardson, Alexander and Baldwin, John and Chisnall, David and Clarke, Jessica and Gudka, Khilan and Joannou, Alexandre and Theodore Markettos, A. and Mazzinghi, Alfredo and Norton, Robert M. and Roe, Michael and Sewell, Peter and Son, Stacey and Jones, Timothy M. and Moore, Simon W. and Neumann, Peter G. and Watson, Robert N. M.},
  booktitle = {2020 IEEE Symposium on Security and Privacy (SP)},
  year = {2020},
  doi = {10.1109/sp40000.2020.00098},
  url = {https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2020oakland-cornucopia.pdf}
}

@techreport{cs-08-3,
  title = {{Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 9)}},
  author = {Watson, Robert N. M. and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Almatary, Hesham and Anderson, Jonathan and Baldwin, John and Barnes, Graeme and Chisnall, David and Clarke, Jessica and Davis, Brooks and Eisen, Lee and Filardo, Nathaniel Wesley and Fuchs, Franz A. and Grisenthwaite, Richard and Joannou, Alexandre and Laurie, Ben and Markettos, A. Theodore and Moore, Simon W. and Murdoch, Steven J. and Nienhuis, Kyndylan and Norton, Robert and Richardson, Alexander and Rugg, Peter and Sewell, Peter and Son, Stacey and Xia, Hongyan},
  institution = {University of Cambridge Technical Report UCAM-CL-TR-987},
  year = {2023},
  doi = {10.48456/tr-987},
  url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-987.html}
}