David Chisnall
ON Semiconductor (United States)(US)University of Cambridge(GB)ON Semiconductor (United Kingdom)(GB)
Publications by Year
Research Areas
Security and Verification in Computing, Distributed systems and fault tolerance, Parallel Computing and Optimization Techniques, Advanced Malware Detection Techniques, Distributed and Parallel Computing Systems
Most-Cited Works
- The Definitive Guide to the Xen Hypervisor(2007)
- → CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization(2015)259 cited
- → The CHERI capability model(2014)210 cited
- → The CHERI capability model: Revisiting RISC in an age of risk(2014)157 cited
- → Into the depths of C: elaborating the de facto standards(2016)85 cited
- → Beyond the PDP-11(2015)73 cited
- → Clean Application Compartmentalization with SOAAP(2015)66 cited