From de1c421479084c8c0424995a76143f93a576a608 Mon Sep 17 00:00:00 2001
From: Ekaitz Zarraga <ekaitz@elenq.tech>
Date: Thu, 8 Aug 2024 23:55:10 +0200
Subject: bibliography: add cheri

---
 bibliography.bib | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'bibliography.bib')

diff --git a/bibliography.bib b/bibliography.bib
index 428dce2..41485a0 100644
--- a/bibliography.bib
+++ b/bibliography.bib
@@ -173,3 +173,17 @@
         state transition systems, applicative computing systems, algebra of
         programs}
 }
+
+@inproceedings{CHERI:Woodruff,
+  author={Woodruff, Jonathan and Watson, Robert N. M. and Chisnall, David and
+      Moore, Simon W. and Anderson, Jonathan and Davis, Brooks and Laurie, Ben
+      and Neumann, Peter G. and Norton, Robert and Roe, Michael},
+  booktitle={2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA)},
+  title={The CHERI capability model: Revisiting RISC in an age of risk},
+  url={https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201406-isca2014-cheri.pdf},
+  year={2014},
+  volume={},
+  number={},
+  pages={457-468},
+  keywords={Ground penetrating radar;Abstracts;Safety;Registers;Coprocessors},
+  doi={10.1109/ISCA.2014.6853201}}
-- 
cgit v1.2.3