Alexander Richardson
Alexander Richardson
Research Associate, University of Cambridge
Verifierad e-postadress på cl.cam.ac.uk
Titel
Citeras av
Citeras av
År
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
572015
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
402017
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
242019
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
242019
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
202019
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
162017
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
132020
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
62018
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
62015
CHERI C/C++ Programming Guide
RNM Watson, A Richardson, B Davis, J Baldwin, D Chisnall, J Clarke, ...
University of Cambridge, Computer Laboratory, 2020
42020
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
Department of Computer Science and Technology
L Wang, G Tyson, J Kangasharju, J Crowcroft, S Bayhan, J Ott, ...
IEEE Transactions on Big Data, 2016
32016
Capability based locking and access of shared persistent memory
AL Richardson, MJ Hoffmann, DS Milojicic
US Patent 10,628,057, 2020
22020
Complete spatial safety for C and C++ using CHERI capabilities
A Richardson
University of Cambridge, Computer Laboratory, 2020
22020
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
2020
Cornucopia: Temporal safety for CHERI heaps
N Wesley Filardo, BF Gutstein, J Woodruff, S Ainsworth, L Paul-Trifu, ...
2020
Methods and systems including a memory-side memory controller configured to interpret capabilities to provide a requested dataset to a central processing unit
MJ Hoffmann, A Richardson, DS Milojicic
US Patent 10,628,328, 2020
2020
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
Research data supporting" CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety"
H Xia, J Woodruff, S Ainsworth, N Filardo, M Roe, A Richardson, P Rugg, ...
2019
Memory system and handles to master capabilities
DS Milojicic, MJ Hoffmann, A Richardson, Q Cai
US Patent 10,387,335, 2019
2019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20