Cornucopia: Temporal safety for CHERI heaps

Use-after-free violations of temporal memory safety continue to plague software systems, underpinning many high-impact exploits. The CHERI capability system shows great promise in achieving C and C++ language spatial memory safety, preventing out-of-bounds accesses. Enforcing language-level temporal safety on CHERI requires capability revocation, traditionally achieved either via table lookups (avoided for performance in the CHERI design) or by identifying capabilities in memory to revoke them (similar to a garbage-collector sweep). CHERIvoke, a prior feasibility study, suggested that CHERI’s tagged capabilities could make this latter strategy viable, but modeled only architectural limits and did not consider the full implementation or evaluation of the approach. Cornucopia is a lightweight capability revocation system for CHERI that implements non-probabilistic C/C++ temporal memory safety for standard heap allocations. It extends the CheriBSD virtual-memory subsystem to track capability flow through memory and provides a concurrent kernel-resident revocation service that is amenable to multi-processor and hardware acceleration. We demonstrate an average overhead of less than 2% and a worst-case of 8.9% for concurrent revocation on compatible SPEC CPU2006 benchmarks on a multi-core CHERI CPU on FPGA, and we validate Cornucopia against the Juliet test suite’s corpus of temporally unsafe programs. We test its compatibility with a large corpus of C programs by using a revoking allocator as the system allocator while booting multi-user CheriBSD. Cornucopia is a viable strategy for always-on temporal heap memory safety, suitable for production environments.This work was supported by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contracts FA8750-10-C-0237 (“CTSRD”) and HR0011-18-C-0016 (“ECATS”). We also acknowledge the EPSRC REMS Programme Grant (EP/K008528/1), the ABP Grant (EP/P020011/1), the ERC ELVER Advanced Grant (789108), the Gates Cambridge Trust, Arm Limited, HP Enterprise, and Google, Inc

Carbamazepine reduces memory induced activation of mesial temporal lobe structures: a pharmacological fMRI-study

BACKGROUND AND PURPOSE: It is not known whether carbamazepine (CBZ; a drug widely used in neurology and psychiatry) influences the blood oxygenation level dependent (BOLD) contrast changes induced by neuronal activation and measured by functional MRI (fMRI). We aimed to investigate the influence of CBZ on memory induced activation of the mesial temporal lobes in patients with symptomatic temporal lobe epilepsy (TLE). MATERIAL AND METHODS: Twenty-one individual patients with refractory symptomatic TLE with different CBZ serum levels and 20 healthy controls were studied using BOLD fMRI. Mesial temporal lobe (MTL) activation was induced by a task that is based on the retrieval of individually familiar visuo-spatial knowledge. The extent of significant MTL fMRI activation was measured and correlated with the CBZ serum level. RESULTS: In TLE patients, the extent of significant fMRI activation over both MTL was negatively correlated to the CBZ serum level (Spearman r = -0.654, P < 0.001). Activation over the supposedly normal MTL, i.e. contralateral to the seizure onset of TLE patients, was smaller than the averaged MTL activation in healthy controls (P < 0.005). Age, duration of epilepsy, side of seizure onset, and intelligence were not correlated to the extent of the significant BOLD-response over both MTL in patients with TLE. CONCLUSIONS: In TLE patients, carbamazepine reduces the fMRI-detectable changes within the mesial temporal lobes as induced by effortful memory retrieval. FMRI appears to be suitable to study the effects of chronic drug treatment in patients with epilepsy

Quantifying Type-Specific Reproduction Numbers for Nosocomial Pathogens: Evidence for Heightened Transmission of an Asian Sequence Type 239 MRSA Clone

An important determinant of a pathogen's success is the rate at which it is transmitted from infected to susceptible hosts. Although there are anecdotal reports that methicillin-resistant Staphylococcus aureus (MRSA) clones vary in their transmissibility in hospital settings, attempts to quantify such variation are lacking for common subtypes, as are methods for addressing this question using routinely-collected MRSA screening data in endemic settings. Here we present a method to quantify the time-varying transmissibility of different subtypes of common bacterial nosocomial pathogens using routine surveillance data. The method adapts approaches for estimating reproduction numbers based on the probabilistic reconstruction of epidemic trees, but uses relative hazards rather than serial intervals to assign probabilities to different sources for observed transmission events. The method is applied to data collected as part of a retrospective observational study of a concurrent MRSA outbreak in the United Kingdom with dominant endemic MRSA clones (ST22 and ST36) and an Asian ST239 MRSA strain (ST239-TW) in two linked adult intensive care units, and compared with an approach based on a fully parametric transmission model. The results provide support for the hypothesis that the clones responded differently to an infection control measure based on the use of topical antiseptics, which was more effective at reducing transmission of endemic clones. They also suggest that in one of the two ICUs patients colonized or infected with the ST239-TW MRSA clone had consistently higher risks of transmitting MRSA to patients free of MRSA. These findings represent some of the first quantitative evidence of enhanced transmissibility of a pandemic MRSA lineage, and highlight the potential value of tailoring hospital infection control measures to specific pathogen subtypes

Cost-effectiveness of a mailed educational reminder to increase colorectal cancer screening

<p>Abstract</p> <p>Background</p> <p>Colorectal cancer (CRC) screening rates are low in many areas and cost-effective interventions to promote CRC screening are needed. Recently in a randomized controlled trial, a mailed educational reminder increased CRC screening rates by 16.2% among U.S. Veterans. The aim of our study was to assess the costs and cost-effectiveness of a mailed educational reminder on fecal occult blood test (FOBT) adherence.</p> <p>Methods</p> <p>In a blinded, randomized, controlled trial, 769 patients were randomly assigned to the usual care group (FOBT alone, n = 382) or the intervention group (FOBT plus a mailed reminder, n = 387). Ten days after picking up the FOBT cards, a 1-page reminder with information related to CRC screening was mailed to the intervention group. Primary outcome was number of returned FOBT cards after 6 months. The costs and incremental cost-effectiveness ratio (ICER) of the intervention were assessed and calculated respectively. Sensitivity analyses were based on varying costs of labor and supplies.</p> <p>Results</p> <p>At 6 months after card distribution, 64.6% patients in the intervention group returned FOBT cards compared with 48.4% in the control group (P < 0.001). The total cost of the intervention was $962 or$2.49 per patient, and the ICER was $15 per additional person screened for CRC. Sensitivity analysis based on a 10$13.50 to $16.50 per additional patient screened for CRC.</p> <p>Conclusions</p> <p>A simple mailed educational reminder increases FOBT card return rate at a cost many health care systems can afford. Compared to other patient-directed interventions (telephone, letters from physicians, mailed reminders) for CRC screening, our intervention was more effective and cost-effective.</p

The CoLaus study: a population-based study to investigate the epidemiology and genetic determinants of cardiovascular risk factors and metabolic syndrome

<p>Abstract</p> <p>Background</p> <p>Cardiovascular diseases and their associated risk factors remain the main cause of mortality in western societies. In order to assess the prevalence of cardiovascular risk factors (CVRFs) in the Caucasian population of Lausanne, Switzerland, we conducted a population-based study (Colaus Study). A secondary aim of the CoLaus study will be to determine new genetic determinants associated with CVRFs.</p> <p>Methods</p> <p>Single-center, cross-sectional study including a random sample of 6,188 extensively phenotyped Caucasian subjects (3,251 women and 2,937 men) aged 35 to 75 years living in Lausanne, and genotyped using the 500 K Affymetrix chip technology.</p> <p>Results</p> <p>Obesity (body mass index ≥ 30 kg/m²), smoking, hypertension (blood pressure ≥ 140/90 mmHg and/or treatment), dyslipidemia (high LDL-cholesterol and/or low HDL-cholesterol and/or high triglyceride levels) and diabetes (fasting plasma glucose ≥ 7 mmol/l and/or treatment) were present in 947 (15.7%), 1673 (27.0%), 2268 (36.7%), 2113 (34.2%) and 407 (6.6%) of the participants, respectively, and the prevalence was higher in men than in women. In both genders, the prevalence of obesity, hypertension and diabetes increased with age.</p> <p>Conclusion</p> <p>The prevalence of major CVRFs is high in the Lausanne population in particular in men. We anticipate that given its size, the depth of the phenotypic analysis and the availability of dense genome-wide genetic data, the CoLaus Study will be a unique resource to investigate not only the epidemiology of isolated, or aggregated CVRFs like the metabolic syndrome, but can also serve as a discovery set, as well as replication set, to identify novel genes associated with these conditions.</p

HPRT Deficiency Coordinately Dysregulates Canonical Wnt and Presenilin-1 Signaling: A Neuro-Developmental Regulatory Role for a Housekeeping Gene?

We have used microarray-based methods of global gene expression together with quantitative PCR and Western blot analysis to identify dysregulation of genes and aberrant cellular processes in human fibroblasts and in SH-SY5Y neuroblastoma cells made HPRT-deficient by transduction with a retrovirus stably expressing an shRNA targeted against HPRT. Analysis of the microarray expression data by Gene ontology (GO) and Gene Set Enrichment Analysis (GSEA) as well as significant pathway analysis by GeneSpring GX10 and Panther Classification System reveal that HPRT deficiency is accompanied by aberrations in a variety of pathways known to regulate neurogenesis or to be implicated in neurodegenerative disease, including the canonical Wnt/β-catenin and the Alzheimer's disease/presenilin signaling pathways. Dysregulation of the Wnt/β-catenin pathway is confirmed by Western blot demonstration of cytosolic sequestration of β-catenin during in vitro differentiation of the SH-SY5Y cells toward the neuronal phenotype. We also demonstrate that two key transcription factor genes known to be regulated by Wnt signaling and to be vital for the generation and function of dopaminergic neurons; i.e., Lmx1a and Engrailed 1, are down-regulated in the HPRT knockdown SH-SY5Y cells. In addition to the Wnt signaling aberration, we found that expression of presenilin-1 shows severely aberrant expression in HPRT-deficient SH-SY5Y cells, reflected by marked deficiency of the 23 kDa C-terminal fragment of presenilin-1 in knockdown cells. Western blot analysis of primary fibroblast cultures from two LND patients also shows dysregulated presenilin-1 expression, including aberrant proteolytic processing of presenilin-1. These demonstrations of dysregulated Wnt signaling and presenilin-1 expression together with impaired expression of dopaminergic transcription factors reveal broad pleitropic neuro-regulatory defects played by HPRT expression and suggest new directions for investigating mechanisms of aberrant neurogenesis and neuropathology in LND and potential new targets for restoration of effective signaling in this neuro-developmental defect

Auxiliary variables for Bayesian inference in multi-class queueing networks

Queueing networks describe complex stochastic systems of both theoretical and practical interest. They provide the means to assess alterations, diagnose poor performance and evaluate robustness across sets of interconnected resources. In the present paper, we focus on the underlying continuous-time Markov chains induced by these networks, and we present a flexible method for drawing parameter inference in multi-class Markovian cases with switching and different service disciplines. The approach is directed towards the inferential problem with missing data, where transition paths of individual tasks among the queues are often unknown. The paper introduces a slice sampling technique with mappings to the measurable space of task transitions between the service stations. This can address time and tractability issues in computational procedures, handle prior system knowledge and overcome common restrictions on service rates across existing inferential frameworks. Finally, the proposed algorithm is validated on synthetic data and applied to a real data set, obtained from a service delivery tasking tool implemented in two university hospitals

Exploring Demographic, Physical, and Historical Explanations for the Genetic Structure of Two Lineages of Greater Antillean Bats

Observed patterns of genetic structure result from the interactions of demographic, physical, and historical influences on gene flow. The particular strength of various factors in governing gene flow, however, may differ between species in biologically relevant ways. We investigated the role of demographic factors (population size and sex-biased dispersal) and physical features (geographic distance, island size and climatological winds) on patterns of genetic structure and gene flow for two lineages of Greater Antillean bats. We used microsatellite genetic data to estimate demographic characteristics, infer population genetic structure, and estimate gene flow among island populations of Erophylla sezekorni/E. bombifrons and Macrotus waterhousii (Chiroptera: Phyllostomidae). Using a landscape genetics approach, we asked if geographic distance, island size, or climatological winds mediate historical gene flow in this system. Samples from 13 islands spanning Erophylla's range clustered into five genetically distinct populations. Samples of M. waterhousii from eight islands represented eight genetically distinct populations. While we found evidence that a majority of historical gene flow between genetic populations was asymmetric for both lineages, we were not able to entirely rule out incomplete lineage sorting in generating this pattern. We found no evidence of contemporary gene flow except between two genetic populations of Erophylla. Both lineages exhibited significant isolation by geographic distance. Patterns of genetic structure and gene flow, however, were not explained by differences in relative effective population sizes, island area, sex-biased dispersal (tested only for Erophylla), or surface-level climatological winds. Gene flow among islands appears to be highly restricted, particularly for M. waterhousii, and we suggest that this species deserves increased taxonomic attention and conservation concern

Design and Organization of the Dexamethasone, Light Anesthesia and Tight Glucose Control (DeLiT) Trial: a factorial trial evaluating the effects of corticosteroids, glucose control, and depth-of-anesthesia on perioperative inflammation and morbidity from major non-cardiac surgery

<p>Abstract</p> <p>Background</p> <p>The perioperative period is characterized by an intense inflammatory response. Perioperative inflammation promotes postoperative morbidity and increases mortality. Blunting the inflammatory response to surgical trauma might thus improve perioperative outcomes. We are studying three interventions that potentially modulate perioperative inflammation: corticosteroids, tight glucose control, and light anesthesia.</p> <p>Methods/Design</p> <p>The DeLiT Trial is a factorial randomized single-center trial of dexamethasone vs placebo, intraoperative tight vs. conventional glucose control, and light vs deep anesthesia in patients undergoing major non-cardiac surgery. Anesthetic depth will be estimated with Bispectral Index (BIS) monitoring (Aspect medical, Newton, MA). The primary outcome is a composite of major postoperative morbidity including myocardial infarction, stroke, sepsis, and 30-day mortality. C-reactive protein, a measure of the inflammatory response, will be evaluated as a secondary outcome. One-year all-cause mortality as well as post-operative delirium will be additional secondary outcomes. We will enroll up to 970 patients which will provide 90% power to detect a 40% reduction in the primary outcome, including interim analyses for efficacy and futility at 25%, 50% and 75% enrollment.</p> <p>Discussion</p> <p>The DeLiT trial started in February 2007. We expect to reach our second interim analysis point in 2010. This large randomized controlled trial will provide a reliable assessment of the effects of corticosteroids, glucose control, and depth-of-anesthesia on perioperative inflammation and morbidity from major non-cardiac surgery. The factorial design will enable us to simultaneously study the effects of the three interventions in the same population, both individually and in different combinations. Such a design is an economically efficient way to study the three interventions in one clinical trial vs three.</p> <p>Trial registration</p> <p><b>This trial is registered at </b>Clinicaltrials.gov <b>#</b>: NTC00433251</p

A polymorphism near IGF1 is associated with body composition and muscle function in women from the Health, Aging, and Body Composition Study

Previous studies have reported associations of polymorphisms in the IGF1 gene with phenotypes of body composition (BC). The purpose of this study was to identify phenotypes of BC and physical function that were associated with the IGF1 promoter polymorphism (rs35767, −C1245T). Subjects from the Health, Aging, and Body Composition Study, white males and females (n = 925/836) and black males and females (533/705) aged 70–79 years were genotyped for the polymorphism. Phenotypes of muscle size and function, bone mineral density, and BC were analyzed for associations with this polymorphism. To validate and compare these findings, a cohort of young (mean age = 24.6, SD = 5.9) white men and women (n = 173/296) with similar phenotypic measurements were genotyped. An association with BC was identified in elderly females when significant covariates (physical activity, age, smoking status, body mass index) were included. White women with C/C genotype had 3% more trunk fat and 2% more total fat than those with C/T (P < 0.05). Black women with C/C genotype had 3% less total lean mass and 3% less muscle mass than their T/T counterparts (P < 0.05). Associations were identified with muscle strength in white women (P < 0.01) that were in agreement with the C/C genotype having lower muscle function. Thus, in an elderly population but not a young population, a polymorphism in the IGF1 gene may be predictive of differences in body composition, primarily in black females