The definitive guide to the xen hypervisor D Chisnall Pearson Education, 2008 | 596 | 2008 |
The CHERI capability model: Revisiting RISC in an age of risk J Woodruff, RNM Watson, D Chisnall, SW Moore, J Anderson, B Davis, ... ACM SIGARCH Computer Architecture News 42 (3), 457-468, 2014 | 425 | 2014 |
CHERI: A hybrid capability-system architecture for scalable software compartmentalization RNM Watson, J Woodruff, PG Neumann, SW Moore, J Anderson, ... 2015 IEEE Symposium on Security and Privacy, 20-37, 2015 | 384 | 2015 |
Into the depths of C: elaborating the de facto standards K Memarian, J Matthiesen, J Lingard, K Nienhuis, D Chisnall, ... ACM SIGPLAN Notices 51 (6), 1-15, 2016 | 135 | 2016 |
Capability hardware enhanced RISC instructions: CHERI instruction-set architecture (version 7) RNM Watson, PG Neumann, J Woodruff, M Roe, H Almatary, J Anderson, ... University of Cambridge, Computer Laboratory, 2019 | 129 | 2019 |
Beyond the PDP-11: Architectural support for a memory-safe C abstract machine D Chisnall, C Rothwell, RNM Watson, J Woodruff, M Vadera, SW Moore, ... ACM SIGARCH Computer Architecture News 43 (1), 117-130, 2015 | 115 | 2015 |
Clean application compartmentalization with SOAAP K Gudka, RNM Watson, J Anderson, D Chisnall, B Davis, B Laurie, ... Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015 | 108 | 2015 |
CheriABI: Enforcing valid pointer provenance and minimizing pointer privilege in the POSIX C run-time environment B Davis, RNM Watson, A Richardson, PG Neumann, SW Moore, ... Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019 | 92 | 2019 |
What you get is what you C: Controlling side effects in mainstream C compilers L Simon, D Chisnall, R Anderson 2018 IEEE European Symposium on Security and Privacy (EuroS&P), 1-15, 2018 | 91 | 2018 |
Cornucopia: Temporal safety for CHERI heaps NW Filardo, BF Gutstein, J Woodruff, S Ainsworth, L Paul-Trifu, B Davis, ... 2020 IEEE Symposium on Security and Privacy (SP), 608-625, 2020 | 82 | 2020 |
Efficient tagged memory A Joannou, J Woodruff, R Kovacsics, SW Moore, A Bradbury, H Xia, ... 2017 IEEE International Conference on Computer Design (ICCD), 641-648, 2017 | 78 | 2017 |
Cheri concentrate: Practical compressed capabilities J Woodruff, A Joannou, H Xia, A Fox, RM Norton, D Chisnall, B Davis, ... IEEE Transactions on Computers 68 (10), 1455-1469, 2019 | 74 | 2019 |
Visual supercomputing: Technologies, applications and challenges K Brodlie, J Brooke, M Chen, D Chisnall, A Fewings, C Hughes, NW John, ... Computer Graphics Forum 24 (2), 217-245, 2005 | 62 | 2005 |
Fast protection-domain crossing in the CHERI capability-system architecture RNM Watson, RM Norton, J Woodruff, SW Moore, PG Neumann, ... IEEE Micro 36 (5), 38-49, 2016 | 57 | 2016 |
CHERI JNI: Sinking the Java security model into the C D Chisnall, B Davis, K Gudka, D Brazdil, A Joannou, J Woodruff, ... ACM SIGARCH Computer Architecture News 45 (1), 569-583, 2017 | 50 | 2017 |
Coupling between diffusion and orientation of pentacene molecules on an organic surface P Rotter, BAJ Lechner, A Morherr, DM Chisnall, DJ Ward, AP Jardine, ... Nature materials 15 (4), 397-400, 2016 | 45 | 2016 |
Toward confidential cloud computing M Russinovich, M Costa, C Fournet, D Chisnall, A Delignat-Lavaud, ... Communications of the ACM 64 (6), 54-61, 2021 | 43 | 2021 |
The CHERI capability model: Revisiting RISC in an age of risk. In 2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA) J Woodruff, RNM Watson, D Chisnall, SW Moore, J Anderson, B Davis, ... IEEE. doi 10, 2014 | 37 | 2014 |
Cheri c/c++ programming guide RNM Watson, A Richardson, B Davis, J Baldwin, D Chisnall, J Clarke, ... University of Cambridge, Computer Laboratory, 2020 | 36 | 2020 |
The challenge of cross-language interoperability D Chisnall Communications of the ACM 56 (12), 50-56, 2013 | 36 | 2013 |