diff --git a/cheri.bib b/cheri.bib index 984ea96f..61c2640f 100644 --- 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},