Add more capability papers.

Author: ltratt

softdev.bib

@@ -2612,3 +2612,50 @@ @techreport{watson20chericprogramming
     number = "UCAM-CL-TR-947",
     doi = "10.48456/tr-947",
 }
+
+@techreport{watson20cheriintroduction,
+    author = "Robert N. M. Watson and Simon W. Moore and Peter Sewell and Peter G. Neumann",
+    title = "An Introduction to CHERI",
+    year = 2019,
+    month = Sep,
+    url = "https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-941.pdf",
+    institution =  "University of Cambridge",
+    number = "UCAM-CL-TR-941",
+    doi = "10.48456/tr-941",
+}
+
+@book{levy84capability,
+    title = "Capability-based computer systems",
+    author= "Levy, Henry M",
+    year= 1984,
+    publisher = "Digital Press",
+    url = "https://homes.cs.washington.edu/~levy/capabook/"
+}
+
+@PhdThesis{miller06robust,
+    author = "Mark Samuel Miller",
+    title = "Robust Composition: Towards a Unified Approach to 
+      Access Control and Concurrency Control",
+    year = 2006,
+    month = May,
+    school = "Johns Hopkins University",
+    url = "http://erights.org/talks/thesis/"
+}
+
+@inproceedings{brooks19cheriabi,
+    author = "Davis, Brooks and Watson, Robert N. M. and
+      Richardson, Alexander and Neumann, Peter G. and Moore, Simon W. and
+      Baldwin, John and Chisnall, David and Clarke, James and
+      Filardo, Nathaniel Wesley and Gudka, Khilan and Joannou, Alexandre and
+      Laurie, Ben and Markettos, A. Theodore and Maste, J. Edward and
+      Mazzinghi, Alfredo and Napierala, Edward Tomasz and
+      Norton, Robert M. and Roe, Michael and Sewell, Peter and
+      Son, Stacey and Woodruff, Jonathan",
+    title = "{CheriABI}: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the {POSIX} {C} Run-Time Environment",
+    month = May,
+    year = 2019,
+    url = "https://doi.org/10.1145/3297858.3304042",
+    doi = "10.1145/3297858.3304042",
+    booktitle = {ASPLOS},
+    pages = 379–393,
+}