Index: doc/theses/mike_brooks_MMath/uw-ethesis.bib
===================================================================
--- doc/theses/mike_brooks_MMath/uw-ethesis.bib	(revision 499a45a2895b7a022fad52f1159f133d78752fda)
+++ doc/theses/mike_brooks_MMath/uw-ethesis.bib	(revision 7e2739fa86f220be28d54b23dfd3aeb62410cca3)
@@ -32,5 +32,5 @@
 @misc{cxx:raii-abi,
     key		= {Itanium},
-    title	= {Itanium C++ ABI},
+    title	= {Itanium {C}++ {ABI}},
     howpublished= {\url{https://itanium-cxx-abi.github.io/cxx-abi/abi.html}},
 }
@@ -103,14 +103,4 @@
 }
 
-@article{Oorschot23,
-    author	= {van Oorschot, Paul C.},
-    journal	= {IEEE Security \& Privacy}, 
-    title	= {Memory Errors and Memory Safety: {C} as a Case Study}, 
-    year	= 2023,
-    volume	= 21,
-    number	= 2,
-    pages	= {70-76},
-}
-
 @InProceedings{Ruef19,
     author	= {Andrew Ruef and Leonidas Lampropoulos and Ian Sweet and David Tarditi and Michael Hicks},
@@ -122,14 +112,4 @@
     year	= {2019},
     pages	= {76-98},
-}
-
-@inproceedings{Elliott18,
-    keywords	= {Safety;Static analysis;Tools;Cyclones;Benchmark testing;Security;Computer bugs;programming languages;security},
-    author	= {Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael and Tarditi, David},
-    booktitle	= {2018 IEEE Cybersecurity Development (SecDev)}, 
-    title	= {Checked C: Making C Safe by Extension}, 
-    year	= 2018,
-    month	= nov,
-    pages	= {53-60},
 }