Follow
Alexander Richardson
Alexander Richardson
Google, University of Cambridge
Verified email at google.com
Title
Cited by
Cited by
Year
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 7)
RNM Watson, PG Neumann, J Woodruff, M Roe, H Almatary, J Anderson, ...
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-927.pdf, 2019
1052019
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
962015
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
782019
Cherivoke: Characterising pointer revocation using cheri capabilities for temporal memory safety
H Xia, J Woodruff, S Ainsworth, NW Filardo, M Roe, A Richardson, ...
Proceedings of the 52nd Annual IEEE/ACM International Symposium on …, 2019
712019
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
672017
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
652020
Exploring C semantics and pointer provenance
K Memarian, VBF Gomes, B Davis, S Kell, A Richardson, RNM Watson, ...
Proceedings of the ACM on Programming Languages 3 (POPL), 1-32, 2019
572019
Cheri c/c++ programming guide
RNM Watson, A Richardson, B Davis, J Baldwin, D Chisnall, J Clarke, ...
University of Cambridge, Computer Laboratory, 2020
292020
Cherirtos: A capability model for embedded devices
H Xia, J Woodruff, H Barral, L Esswood, A Joannou, R Kovacsics, ...
2018 IEEE 36th International Conference on Computer Design (ICCD), 92-99, 2018
292018
Separating translation from protection in address spaces with dynamic remapping
R Achermann, C Dalton, P Faraboschi, M Hoffmann, D Milojicic, G Ndu, ...
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 118-124, 2017
192017
Complete spatial safety for C and C++ using CHERI capabilities
A Richardson
University of Cambridge, Computer Laboratory, 2020
172020
Assessing the Viability of an Open-Source CHERI Desktop Software Ecosystem
RNM Watson, B Laurie, A Richardson
https://www.capabilitieslimited.co.uk/pdfs/20210917-capltd-cheri-desktop …, 2021
82021
Clean application compartmentalization with SOAAP (extended version)
K Gudka, RNM Watson, J Anderson, D Chisnall, B Davis, B Laurie, ...
University of Cambridge, Computer Laboratory, 2015
72015
Department of computer science and technology
L Wang, G Tyson, J Kangasharju, J Crowcroft, S Bayhan, J Ott, ...
IEEE Transactions on Big Data, 2016
52016
Memory-side protection with a capability enforcement co-processor
L Azriel, L Humbel, R Achermann, A Richardson, M Hoffmann, ...
ACM Transactions on Architecture and Code Optimization (TACO) 16 (1), 1-26, 2019
42019
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
22020
Capability based locking and access of shared persistent memory
AL Richardson, MJ Hoffmann, DS Milojicic
US Patent 10,628,057, 2020
22020
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
12023
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
12023
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
V Zaliva, K Memarian, R Almeida, J Clarke, B Davis, A Richardson, ...
2024
The system can't perform the operation now. Try again later.
Articles 1–20