Concepedia

David Chisnall

DC

Statistics

Publications

29

Citations

1.5K

H-Index

20

Active since

2005

Affiliations

University of Cambridge(Current)

SRI International

Microsoft Research (United Kingdom)

Google (United Kingdom)

David Chisnall is an author at University of Cambridge specializing in engineering, computer science, and hardware security.

Top concepts

EngineeringComputer ScienceComputer EngineeringSystem SoftwareHardware SecurityComputer ArchitectureProgram AnalysisSoftware AnalysisCompilersParallel Computing

Publications per year

2005–2024

29

Publications

29

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization

Robert N. M. Watson, Jonathan Woodruff, Peter G. Neumann et al. · 2015 · 257 citations · Full text

Software Maintenance, Engineering, Computer Architecture +23

The CHERI capability model

Jonathan Woodruff, Robert N. M. Watson, David Chisnall et al. · ACM SIGARCH Computer Architecture News · 2014 · 209 citations

Engineering, Computational Model Theory, Computer Architecture +22

The CHERI capability model: Revisiting RISC in an age of risk

Jonathan Woodruff, Robert N. M. Watson, David Chisnall et al. · 2014 · 155 citations

Engineering, Computer Architecture, Risk Analysis +28

Into the depths of C: elaborating the de facto standards

Kayvan Memarian, Justus Matthiesen, James Lingard et al. · 2016 · 85 citations · Full text

Beyond the PDP-11

David Chisnall, Colin Rothwell, Robert N. M. Watson et al. · 2015 · 73 citations

Engineering, Advanced Computing, Computer Architecture +18

1–5 of 29