Merge #67

67: Add a couple of CHERI papers. r=drpdr a=ltratt

`@drpdr` This is our bibliography repo. To review things here, please check a) the citations below are correct w.r.t. the original papers b) the style of the citations matches that of others in the repository. If/when you're happy, you can run bors, which will also run some basic sanity checks to make sure we haven't done anything very obviously silly in these BibTeX records.

Co-authored-by: Laurence Tratt <[email protected]>

Author: bors[bot]

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",
+}