David Chisnall
David Chisnall
University of Cambridge
Verifierad e-postadress på swan.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
The definitive guide to the xen hypervisor
D Chisnall
Pearson Education, 2008
5572008
The CHERI capability model: Revisiting RISC in an age of risk
J Woodruff, RNM Watson, D Chisnall, SW Moore, J Anderson, B Davis, ...
2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA …, 2014
2302014
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
1792015
Get smart
A Wright
Communications of the ACM 52 (1), 15-16, 2009
150*2009
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
932016
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
882015
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
582005
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
582005
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
Capability hardware enhanced risc instructions: Cheri instruction-set architecture (version 5)
RNM Watson, PG Neumann, J Woodruff, M Roe, J Anderson, D Chisnall, ...
University of Cambridge, Computer Laboratory, 2016
472016
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
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
342016
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
342016
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
332018
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
262017
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
242019
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
The challenge of cross-language interoperability
D Chisnall
Communications of the ACM 56 (12), 50-56, 2013
222013
Capability hardware enhanced RISC instructions: CHERI instruction-set architecture
RNM Watson, PG Neumann, J Woodruff, M Roe, J Anderson, D Chisnall, ...
University of Cambridge, Computer Laboratory, 2015
212015
Measurement of the phason dispersion of misfit dislocations on the Au (111) surface
EM McIntosh, PR Kole, M El-Batanouny, DM Chisnall, J Ellis, W Allison
Physical review letters 110 (8), 086103, 2013
202013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20