Index: doc/theses/mike_brooks_MMath/uw-ethesis.bib
===================================================================
--- doc/theses/mike_brooks_MMath/uw-ethesis.bib	(revision df699e080a754d9c4714ee9fe19c05edccc9bbad)
+++ doc/theses/mike_brooks_MMath/uw-ethesis.bib	(revision a4808adb86b39bcbea635fea71fbf23765963b98)
@@ -105,2 +105,11 @@
 }
 
+@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},
+}