TY  - CONF
ID  - cs-08-1
TI  - CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
AU  - Watson, Robert N.M.
AU  - Woodruff, Jonathan
AU  - Neumann, Peter G.
AU  - Moore, Simon W.
AU  - Anderson, Jonathan
AU  - Chisnall, David
AU  - Dave, Nirav
AU  - Davis, Brooks
AU  - Gudka, Khilan
AU  - Laurie, Ben
AU  - Murdoch, Steven J.
AU  - Norton, Robert
AU  - Roe, Michael
AU  - Son, Stacey
AU  - Vadera, Munraj
T2  - 2015 IEEE Symposium on Security and Privacy
PY  - 2015
DO  - 10.1109/sp.2015.9
UR  - https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-publications.html
ER  - 


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


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