Robert Norton

Learn More
Motivated by contemporary security challenges, we reevaluate and refine capability-based addressing for the RISC era. We present CHERI, a hybrid capability model that extends the 64-bit MIPS ISA with byte-granularity memory protection. We demonstrate that CHERI enables language memory model enforcement and fault isolation in hardware rather than software,(More)
—CHERI extends a conventional RISC Instruction-Set Architecture, compiler, and operating system to support fine-grained, capability-based memory protection to mitigate memory-related vulnerabilities in C-language TCBs. We describe how CHERI capabilities can also underpin a hardware-software object-capability model for application compartmentalization that(More)
Contemporary CPU architectures conflate virtualization and protection , imposing virtualization-related performance, programma-bility, and debuggability penalties on software requiring fine-grained protection. First observed in micro-kernel research, these problems are increasingly apparent in recent attempts to mitigate software vulnerabilities through(More)
The US Public Health Emergency Medical Countermeasures Enterprise convened subject matter experts at the 2010 HHS Burkholderia Workshop to develop consensus recommendations for postexposure prophylaxis against and treatment for Burkholderia pseudomallei and B. mallei infections, which cause melioidosis and glanders, respectively. Drugs recommended by(More)
  • Robert N M Watson, Peter G Neumann, Jonathan Woodruff, Jonathan Anderson, David Chisnall, Brooks Davis +52 others
  • 2014
SRI International is acknowledged as an additional copyright holder Technical reports published by the University of Cambridge Computer Laboratory are freely available via the Internet: Abstract This document describes the rapidly maturing design for the Capability Hardware Enhanced RISC Instructions (CHERI) Instruction-Set Architecture (ISA), which is(More)
a severe disease that can be difficult to diagnose because of its diverse clinical manifestations and a lack of adequate diagnostic capabilities for suspected cases. There is broad interest in improving detection and diagnosis of this disease not only in melioidosis-endemic regions but also outside these regions because melioidosis may be underreported and(More)
  • Robert N M Watson, Jonathan Woodruff, David Chisnall, Brooks Davis, Wojciech Koszek, A Theodore Markettos +51 others
  • 2014
Approved for public release; distribution is unlimited. Sponsored by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contract FA8750-10-C-0237 (" CTSRD ") as part of the DARPA CRASH research program. The views, opinions, and/or findings contained in this report are those of the authors and should not(More)
Patient care can be intense and stressful, especially in emergency care situations. Emergency care has two parts, field care by a paramedic and in-hospital care. Paramedics often consult with physicians before the patient reaches the hospital. To do this effectively, they must convey the patient's condition rapidly and effectively. Upon hospital arrival(More)
  • Robert N M Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W Moore, Steven J Murdoch +52 others
  • 2014
Approved for public release; distribution is unlimited. Sponsored by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contract FA8750-10-C-0237 (" CTSRD ") as part of the DARPA CRASH research program. The views, opinions, and/or findings contained in this report are those of the authors and should not(More)
Melioidosis is caused by the Gram-negative bacillus Burkholderia pseudomallei. Most clinical reports of disease are from south-east Asia and northern Australia. The organism is intrinsically resistant to most commonly available antibiotics. Standard therapy includes ceftazidime either alone or in combination with co-trimoxazole. The clinical advantage in(More)