spell Cerberus

CTSRD-CHERI · Aug 8, 2023 · af680b0 · af680b0
1 parent 65107e1
commit af680b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cheri.bib b/cheri.bib
@@ -16702,7 +16702,7 @@ @TechReport{UCAM-CL-TR-976
 
 @TechReport{UCAM-CL-TR-981,
   author =	 {Memarian, Kayvan},
-  title = 	 {{The Cerberos C semantics}},
+  title = 	 {{The Cerberus C semantics}},
   year = 	 2023,
   month = 	 may,
   url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-981.pdf},