Efficient design and evaluation of countermeasures against fault attacks using formal verification

This paper presents a formal verification framework and tool that evaluates the robustness of software countermeasures against fault-injection attacks. By modeling reference assembly code and its protected variant as automata, the framework can generate a set of equations for an SMT solver, the solutions of which represent possible attack paths. Using the tool we developed, we evaluated the robustness of state-of-the-art countermeasures against fault injection attacks. Based on insights gathered from this evaluation, we analyze any remaining weaknesses and propose applications of these countermeasures that are more robust

Strong negative self regulation of Prokaryotic transcription factors increases the intrinsic noise of protein expression

Background Many prokaryotic transcription factors repress their own transcription. It is often asserted that such regulation enables a cell to homeostatically maintain protein abundance. We explore the role of negative self regulation of transcription in regulating the variability of protein abundance using a variety of stochastic modeling techniques. Results We undertake a novel analysis of a classic model for negative self regulation. We demonstrate that, with standard approximations, protein variance relative to its mean should be independent of repressor strength in a physiological range. Consequently, in that range, the coefficient of variation would increase with repressor strength. However, stochastic computer simulations demonstrate that there is a greater increase in noise associated with strong repressors than predicted by theory. The discrepancies between the mathematical analysis and computer simulations arise because with strong repressors the approximation that leads to Michaelis-Menten-like hyperbolic repression terms ceases to be valid. Because we observe that strong negative feedback increases variability and so is unlikely to be a mechanism for noise control, we suggest instead that negative feedback is evolutionarily favoured because it allows the cell to minimize mRNA usage. To test this, we used in silico evolution to demonstrate that while negative feedback can achieve only a modest improvement in protein noise reduction compared with the unregulated system, it can achieve good improvement in protein response times and very substantial improvement in reducing mRNA levels. Conclusions Strong negative self regulation of transcription may not always be a mechanism for homeostatic control of protein abundance, but instead might be evolutionarily favoured as a mechanism to limit the use of mRNA. The use of hyperbolic terms derived from quasi-steady-state approximation should also be avoided in the analysis of stochastic models with strong repressors

The bashful and the boastful : prestigious leaders and social change in Mesolithic Societies

The creation and maintenance of influential leaders and authorities is one of the key themes of archaeological and historical enquiry. However the social dynamics of authorities and leaders in the Mesolithic remains a largely unexplored area of study. The role and influence of authorities can be remarkably different in different situations yet they exist in all societies and in almost all social contexts from playgrounds to parliaments. Here we explore the literature on the dynamics of authority creation, maintenance and contestation in egalitarian societies, and discuss the implications for our interpretation and understanding of the formation of authorities and leaders and changing social relationships within the Mesolithic

Investigation of attentional bias in obsessive compulsive disorder with and without depression in visual search

Copyright: © 2013 Morein-Zamir et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are creditedWhether Obsessive Compulsive Disorder (OCD) is associated with an increased attentional bias to emotive stimuli remains controversial. Additionally, it is unclear whether comorbid depression modulates abnormal emotional processing in OCD. This study examined attentional bias to OC-relevant scenes using a visual search task. Controls, non-depressed and depressed OCD patients searched for their personally selected positive images amongst their negative distractors, and vice versa. Whilst the OCD groups were slower than healthy individuals in rating the images, there were no group differences in the magnitude of negative bias to concern-related scenes. A second experiment employing a common set of images replicated the results on an additional sample of OCD patients. Although there was a larger bias to negative OC-related images without pre-exposure overall, no group differences in attentional bias were observed. However, OCD patients subsequently rated the images more slowly and more negatively, again suggesting post-attentional processing abnormalities. The results argue against a robust attentional bias in OCD patients, regardless of their depression status and speak to generalized difficulties disengaging from negative valence stimuli. Rather, post-attentional processing abnormalities may account for differences in emotional processing in OCD.Peer reviewedFinal Published versio

Compound double ileoileal and ileocecocolic intussusception caused by lipoma of the ileum in an adult patient: A case report

<p>Abstract</p> <p>Introduction</p> <p>The initial diagnosis of intussusception in adults very often can be missed and cause delayed treatment and possible serious complications. We report the case of an adult patient with complicated double ileoileal and ileocecocolic intussusception.</p> <p>Case presentation</p> <p>A 46-year-old Caucasian man was transferred from the gastroenterology service to the abdominal surgery service with severe abdominal pain, nausea, and vomiting. An abdominal ultrasound, barium enema, and abdominal computed tomography scan revealed an intraluminal obstruction of his ascending colon. Plain abdominal X-rays showed diffuse air-fluid levels in his small intestine. A double ileoileal and ileocecocolic intussusception was found during an emergent laparotomy. A right hemicolectomy, including resection of a long segment of his ileum, was performed. The postoperative period was complicated by acute renal failure, shock liver, and pulmonary thromboembolism. Our patient was discharged from the hospital after 30 days. An anatomical pathology examination revealed a lipoma of his ileum.</p> <p>Conclusions</p> <p>Intussusception in adults requires early surgical resection regardless of the nature of the initial cause. Delayed treatment can cause very serious complications.</p

K-Ras Mediated Murine Epidermal Tumorigenesis Is Dependent upon and Associated with Elevated Rac1 Activity

A common goal for potential cancer therapies is the identification of differences in protein expression or activity that would allow for the selective targeting of tumor vs. normal cells. The Ras proto-oncogene family (K-Ras, H-Ras and N-Ras) are amongst the most frequently mutated genes in human cancers. As a result, there has been substantial effort dedicated to determining which pathways are activated by Ras signaling and, more importantly, which of these contribute to cancer. Although the most widely studied Ras-regulated signaling pathway is the Raf/mitogen-activated protein kinase cascade, previous research in model systems has revealed that the Rac1 GTP-binding protein is also required for Ras-induced biological responses. However, what have been lacking are rigorous in vivo Rac1 target validation data and a clear demonstration that in Ras-driven hyperplastic lesions, Rac1 activity is increased. Using a combination of genetically-modified mouse models that allow for the tissue-selective activation or deletion of signaling molecules and an activation-state sensitive Rac1 antibody that detects GTP-bound Rac1, we found that Rac1 contributes to K-Ras induced epidermal papilloma initiation and growth and that Rac1 activity is elevated by oncogenic K-Ras in vivo. Previously, it was not practical to assess Rac1 activation status in the most commonly used format for clinical tumor specimens, formalin-fixed paraffin embedded (FFPE) tissues samples. However, this study clearly demonstrates that Rac1 is essential for K-Ras driven epithelial cell hyperproliferation and that Rac1 activity is elevated in tissues expressing mutant oncogenic K-Ras, while also characterizing the activation-state specific Rac1-GTP antibody as a probe to examine Rac1 activation status in FFPE samples. Our findings will facilitate further research on the status of Rac1 activity in human tumors and will help to define the tumor types of the patient population that could potentially benefit from therapies targeting Rac activation or downstream effector signaling pathways

Understanding the impact of antibiotic therapies on the respiratory tract resistome: A novel pooled-template metagenomic sequencing strategy

Determining the effects of antimicrobial therapies on airway microbiology at a population-level is essential. Such analysis allows, for example, surveillance of antibiotic-induced changes in pathogen prevalence, the emergence and spread of antibiotic resistance, and the transmission of multi-resistant organisms. However, current analytical strategies for understanding these processes are limited. Culture- and PCR-based assays for specific microbes require the a priori selection of targets, while antibiotic sensitivity testing typically provides no insight into either the molecular basis of resistance, or the carriage of resistance determinants by the wider commensal microbiota. Shotgun metagenomic sequencing provides an alternative approach that allows the microbial composition of clinical samples to be described in detail, including the prevalence of resistance genes and virulence traits. While highly informative, the application of metagenomics to large patient cohorts can be prohibitively expensive. Using sputum samples from a randomised placebo-controlled trial of erythromycin in adults with bronchiectasis, we describe a novel, cost-effective strategy for screening patient cohorts for changes in resistance gene prevalence. By combining metagenomic screening of pooled DNA extracts with validatory quantitative PCR-based analysis of candidate markers in individual samples, we identify population-level changes in the relative abundance of specific macrolide resistance genes. This approach has the potential to provide an important adjunct to current analytical strategies, particularly within the context of antimicrobial clinical trials

The route to transcription initiation determines the mode of transcriptional bursting in E. coli

Transcription is fundamentally noisy, leading to significant heterogeneity across bacterial populations. Noise is often attributed to burstiness, but the underlying mechanisms and their dependence on the mode of promotor regulation remain unclear. Here, we measure E. coli single cell mRNA levels for two stress responses that depend on bacterial sigma factors with different mode of transcription initiation (σ70 and σ54). By fitting a stochastic model to the observed mRNA distributions, we show that the transition from low to high expression of the σ70-controlled stress response is regulated via the burst size, while that of the σ54-controlled stress response is regulated via the burst frequency. Therefore, transcription initiation involving σ54 differs from other bacterial systems, and yields bursting kinetics characteristic of eukaryotic systems

Search for Single Top Production at LEP

Single top production in e+e- annihilations is searched for in data collected by the L3 detector at centre-of-mass energies from 189 to 209 GeV, corresponding to a total integrated luminosity of 634 pb-1. Investigating hadronic and semileptonic top decays, no evidence of single top production at LEP is obtained and upper limits on the single top cross section as a function of the centre-of-mass energy are derived. Limits on possible anomalous couplings, as well as on the scale of contact interactions responsible for single top production are determined