summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEkaitz Zarraga <ekaitz@elenq.tech>2024-08-08 23:55:10 +0200
committerEkaitz Zarraga <ekaitz@elenq.tech>2024-08-14 15:41:26 +0200
commitde1c421479084c8c0424995a76143f93a576a608 (patch)
tree05a385caa3730fe6314c0482aa806108235936dc
parent5462a908e2c1444dcf8e232af61478201e72aeb5 (diff)
bibliography: add cheri
-rw-r--r--bibliography.bib14
1 files changed, 14 insertions, 0 deletions
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}}