diff options
| author | Ekaitz Zarraga <ekaitz@elenq.tech> | 2024-08-08 23:55:10 +0200 |
|---|---|---|
| committer | Ekaitz Zarraga <ekaitz@elenq.tech> | 2024-08-14 15:41:26 +0200 |
| commit | de1c421479084c8c0424995a76143f93a576a608 (patch) | |
| tree | 05a385caa3730fe6314c0482aa806108235936dc | |
| parent | 5462a908e2c1444dcf8e232af61478201e72aeb5 (diff) | |
bibliography: add cheri
| -rw-r--r-- | bibliography.bib | 14 |
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}} |