diff options
| -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}} |