Add a couple of CHERI papers.

Author: ltratt

softdev.bib

@@ -2582,3 +2582,33 @@ @inproceedings{Carr2017
     title = "{DataShield}: Configurable Data Confidentiality and Integrity",
     booktitle = {ACCCS}
 }
+
+@article{woodruff19chericoncentrate,
+    author = "Woodruff, Jonathan and Joannou, Alexandre and Xia, Hongyan and Fox,
+      Anthony and Norton, Robert M. and Chisnall, David and Davis, Brooks and
+      Gudka, Khilan and Filardo, Nathaniel W. and Markettos, A. Theodore and
+      Roe, Michael and Neumann, Peter G. and Watson, Robert N. M. and
+      Moore, Simon W.",
+    title = "{CHERI} {Concentrate}: Practical Compressed Capabilities",
+    journal = {IEEE Transactions on Computers},
+    year = 2019,
+    month = Apr,
+    volume = 68,
+    number = 10,
+    pages = 1455-1469,
+    doi "10.1109/TC.2019.2914037"
+}
+
+@techreport{watson20chericprogramming,
+    author = "Watson, Robert N. M. and Richardson, Alexander and Davis, Brooks and
+      Baldwin, John and Chisnall, David and Clarke, Jessica and
+      Filardo, Nathaniel and Moore, Simon W. and Napierala, Edward and
+      Sewell, Peter and Neumann, Peter G.",
+    title = "{CHERI} {C/C++} Programming Guide",
+    year = 2020,
+    month = Jun,
+    url = "https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-947.pdf",
+    institution =  "University of Cambridge",
+    number = "UCAM-CL-TR-947",
+    doi = "10.48456/tr-947",
+}