Merge #69

69: Add the CHERIvoke paper. r=0152la a=ltratt



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

Author: bors[bot]

softdev.bib

@@ -2659,3 +2659,16 @@ @inproceedings{brooks19cheriabi
     booktitle = {ASPLOS},
     pages = 379–393,
 }
+
+@inproceedings{xia19cherivoke,
+  author = "Xia, Hongyan and Woodruff, Jonathan and Ainsworth, Sam and
+    Filardo, Nathaniel W. and Roe, Michael and Richardson, Alexander and
+    Rugg, Peter and Neumann, Peter G. and Moore, Simon W. and
+    Watson, Robert N. M. and Jones, Timothy M.",
+  title = "{CHERIvoke}: Characterising Pointer Revocation Using {CHERI} Capabilities for Temporal Memory Safety",
+  booktitle = "MICRO",
+  pages = "545–557",
+  year = 2019,
+  month = Oct,
+  doi = {10.1145/3352460.3358288}
+}