From de1c421479084c8c0424995a76143f93a576a608 Mon Sep 17 00:00:00 2001 From: Ekaitz Zarraga Date: Thu, 8 Aug 2024 23:55:10 +0200 Subject: bibliography: add cheri --- bibliography.bib | 14 ++++++++++++++ 1 file changed, 14 insertions(+) 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