| 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 |
| 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 | 81 | 2020 |
| CHERI C/C++ Programming Guide RNM Watson, A Richardson, B Davis, J Baldwin, D Chisnall, J Clarke, ... University of Cambridge, Computer Laboratory, 2020 | 35 | 2020 |
| CompartOS: CHERI Compartmentalization for Embedded Systems H Almatary, M Dodson, J Clarke, P Rugg, I Gomes, M Podhradsky, ... arXiv preprint arXiv:2206.02852, 2022 | 13 | 2022 |
| Arm Morello Programme: Architectural security goals and known limitations RNM Watson, G Barnes, J Clarke, R Grisenthwaite, P Sewell, SW Moore, ... University of Cambridge, Computer Laboratory, 2023 | 7 | 2023 |
| Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and Undefined Behaviour V Zaliva, K Memarian, RDO Almeida, J Clarke, B Davis, A Richardson, ... 29th ACM International Conference on Architectural Support for Programming …, 2023 | 6* | 2023 |
| Early performance results from the prototype Morello microarchitecture RNM Watson, J Clarke, P Sewell, J Woodruff, SW Moore, G Barnes, ... University of Cambridge, Computer Laboratory, 2023 | 5 | 2023 |
| Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety NW Filardo, BF Gutstein, J Woodruff, J Clarke, P Rugg, B Davis, ... Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 2 | 2024 |
| CHERI Macaroons: Efficient, host-based access control for cyber-physical systems M Dodson, AR Beresford, A Richardson, J Clarke, RNM Watson 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2020 | 2 | 2020 |
| Architectural Contracts for Safe Speculation FA Fuchs, J Woodruff, P Rugg, M van der Mass, A Joannou, A Richardson, ... 2023 IEEE 41st International Conference on Computer Design (ICCD), 578-586, 2023 | 1 | 2023 |
| CHERI C semantics as an extension of the ISO C17 standard V Zaliva, K Memarian, R Almeida, J Clarke, B Davis, A Richardson, ... University of Cambridge, Computer Laboratory, 2023 | 1 | 2023 |
| Safe Speculation for CHERI F Fuchs, J Woodruff, P Rugg, A Joannou, J Clarke, J Baldwin, B Davis, ... | | 2024 |
| CHERI: Hardware-Enabled C/C++ Memory Protection at Scale RNM Watson, D Chisnall, J Clarke, B Davis, NW Filardo, B Laurie, ... IEEE Security & Privacy, 2024 | | 2024 |
| IEEE Security & Privacy Magazine RNM Watson, D Chisnall, J Clarke, B Davis, N Filardo, B Laurie, S Moore, ... Institute of Electrical and Electronics Engineers, 2024 | | 2024 |
| Research data supporting'Cornucopia: Temporal Safety for CHERI Heaps' N Filardo, B Gutstein, J Woodruff, S Ainsworth, L Paul-Trifu, B Davis, H Xia, ... | | 2020 |
| Cornucopia: Temporal safety for CHERI heaps N Wesley Filardo, BF Gutstein, J Woodruff, S Ainsworth, L Paul-Trifu, ... IEEE, 2020 | | 2020 |
| Classes for the Masses C Russo, M Windsor, D Syme, R Horlick, J Clarke CoALP-Ty’16, 9, 2016 | | 2016 |
