Ikuti
Alexander Richardson
Alexander Richardson
Google, University of Cambridge
Email yang diverifikasi di google.com
Judul
Dikutip oleh
Dikutip oleh
Tahun
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
1382019
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
1122015
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
952019
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
892019
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
862020
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
822017
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
802019
Cheri c/c++ programming guide
RNM Watson, A Richardson, B Davis, J Baldwin, D Chisnall, J Clarke, ...
University of Cambridge, Computer Laboratory, 2020
362020
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
312018
Complete spatial safety for C and C++ using CHERI capabilities
A Richardson
University of Cambridge, Computer Laboratory, 2020
232020
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
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
122021
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
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
62023
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
V Zaliva, K Memarian, R Almeida, J Clarke, B Davis, A Richardson, ...
Proceedings of the 29th ACM International Conference on Architectural …, 2024
52024
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
52019
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
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
32023
Capability based locking and access of shared persistent memory
AL Richardson, MJ Hoffmann, DS Milojicic
US Patent 10,628,057, 2020
32020
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
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20