David Chisnall

Papers

Total Citations

H-Index

About

Dr. David Chisnall is a leading researcher in computer architecture and systems security, with a focus on memory safety and capability-based security models. His most influential work, "CheriRTOS: A Capability Model for Embedded Devices" (2018, 20 citations), addresses the critical challenge of securing increasingly connected embedded systems in automotive, medical, and avionics domains. This paper introduces a real-time operating system built on CHERI (Capability Hardware Enhanced RISC Instructions) architecture, demonstrating how fine-grained memory protection can defend against sophisticated attacks without compromising performance. Chisnall's contributions extend beyond this work; he has been instrumental in developing the CHERI capability model itself, which provides hardware-enforced memory safety and compartmentalization. His research has profound implications for IoT security, autonomous systems, and critical infrastructure, where traditional software defenses are insufficient. By bridging the gap between theoretical security models and practical embedded systems, Chisnall's work has influenced both academic research and industry adoption of capability-based security. His achievements include shaping the CHERI architecture, which is now being integrated into commercial processor designs, making him a pivotal figure in the future of secure computing.