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)
Eggs of a small intestinal trematode were found in the faeces of two 21-month-old children from the same rural district of South Australia who presented 18 months apart with mild abdominal pain and diarrhoea. Treatment with praziquantel resulted in egg clearance and resolution of gastrointestinal symptoms. A brachylaimid intestinal trematode involving the(More)
Burkholderia pseudomallei is a biothreat agent and an important natural pathogen, causing melioidosis in humans and animals. A type III secretion system (TTSS-3) has been shown to be critical for virulence. Because TTSS components from other pathogens have been used successfully as diagnostic agents and as experimental vaccines, it was investigated whether(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)
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)
Clinical presentations of melioidosis, caused by Burkholderia pseudomallei are protean, but the mechanisms underlying development of the different forms of disease remain poorly understood. In murine melioidosis, the level of virulence of B. pseudomallei is important in disease pathogenesis and progression. In this study, we used B. pseudomallei-susceptible(More)
The identification of Burkholderia pseudomallei, the causative agent of melioidosis, is usually not difficult in laboratories in areas where it is endemic. With the increase in international travel and the threat of bioterrorism, it has become more likely that laboratories in areas where it is not endemic could encounter this organism. The increase in the(More)
The aim of this study was to define the clinical presentation of brucellosis in northern Australia and to assess the long-term impact of brucellosis on individual lives. A retrospective review was conducted to assess 32 patients with brucellosis caused by Brucella suis in Townsville, Australia during 1996-2009. All patients were Caucasian males with a mean(More)
Melioidosis, caused by the gram negative bacterium Burkholderia pseudomallei, is endemic in northern Australia. Using data collated from centres in Western Australia, the Northern Territory and Queensland, this report describes the epidemiology of this disease between 1 November, 2001 and 31 October, 2002. There were 47 cases seen during this period with an(More)