A Semantic Hierarchy for Erasure Policies

We consider the problem of logical data erasure, contrasting with physical erasure in the same way that end-to-end information flow control contrasts with access control. We present a semantic hierarchy for erasure policies, using a possibilistic knowledge-based semantics to define policy satisfaction such that there is an intuitively clear upper bound on what information an erasure policy permits to be retained. Our hierarchy allows a rich class of erasure policies to be expressed, taking account of the power of the attacker, how much information may be retained, and under what conditions it may be retained. While our main aim is to specify erasure policies, the semantic framework allows quite general information-flow policies to be formulated for a variety of semantic notions of secrecy.Comment: 18 pages, ICISS 201

MIME: A Formal Approach to (Android) Emulation Malware Analysis

In this paper, we propose a new dynamic and configurableapproach to anti-emulation malware analysis, aiming at improving transparencyof existing analyses techniques. We test the effectiveness of existingwidespread free analyzers and we observe that the main problem ofthese analyses is that they provide static and immutable values to theparameter used in anti-emulation tests. Our approach aims at overcomingthese limitations by providing an abstract non-interference-based approachmodeling the fact that parameters can be modified dynamically,and the corresponding executions compared

Verifying Bounded Subset-Closed Hyperproperties

Hyperproperties are quickly becoming very popular in the context of systems security, due to their expressive power. They differ from classic trace properties since they are represented by sets of sets of executions instead of sets of executions. This allows us, for instance, to capture information flow security specifications, which cannot be expressed as trace properties, namely as predicates over single executions. In this work, we reason about how it is possible to move standard abstract interpretation-based static analysis methods, designed for trace properties, towards the verification of hyperproperties. In particular, we focus on the verification of bounded subset-closed hyperproperties which are easier to verify than generic hyperproperties. It turns out that a lot of interesting specifications (e.g., Non-Interference) lie in this category

Salmonella Paratyphi A Outer Membrane Vesicles Displaying Vi Polysaccharide as a Multivalent Vaccine against Enteric Fever.

Typhoid and paratyphoid fevers have a high incidence worldwide and coexist in many geographical areas, especially in low-middle-income countries (LMIC) in South and Southeast Asia. There is extensive consensus on the urgent need for better and affordable vaccines against systemic Salmonella infections. Generalized modules for membrane antigens (GMMA), outer membrane exosomes shed by Salmonella bacteria genetically manipulated to increase blebbing, resemble the bacterial surface where protective antigens are displayed in their native environment. Here, we engineered S Paratyphi A using the pDC5-viaB plasmid to generate GMMA displaying the heterologous S Typhi Vi antigen together with the homologous O:2 O antigen. The presence of both Vi and O:2 was confirmed by flow cytometry on bacterial cells, and their amount was quantified on the resulting vesicles through a panel of analytical methods. When tested in mice, such GMMA induced a strong antibody response against both Vi and O:2, and these antibodies were functional in a serum bactericidal assay. Our approach yielded a bivalent vaccine candidate able to induce immune responses against different Salmonella serovars, which could benefit LMIC residents and travelers.BactiVac catalyst Grant in collaboration with GSK

Killing them softly:managing pathogen polymorphism and virulence in spatially variable environments

Understanding why pathogen populations are genetically variable is vital because genetic variation fuels evolution, which often hampers disease control efforts. Here I argue that classical models of evolution in spatially variable environments – specifically, models of hard and soft selection – provide a useful framework to understand the maintenance of pathogen polymorphism and the evolution of virulence. First, the similarities between models of hard and soft selection and pathogen life cycles are described, highlighting how the type and timing of pathogen control measures impose density regulation that may affect both the level of pathogen polymorphism and virulence. The article concludes with an outline of potential lines of future theoretical and experimental work

Mass spectrometry imaging identifies palmitoylcarnitine as an immunological mediator during Salmonella Typhimurium infection

Salmonella Typhimurium causes a self-limiting gastroenteritis that may lead to systemic disease. Bacteria invade the small intestine, crossing the intestinal epithelium from where they are transported to the mesenteric lymph nodes (MLNs) within migrating immune cells. MLNs are an important site at which the innate and adaptive immune responses converge but their architecture and function is severely disrupted during S. Typhimurium infection. To further understand host-pathogen interactions at this site, we used mass spectrometry imaging (MSI) to analyse MLN tissue from a murine model of S. Typhimurium infection. A molecule, identified as palmitoylcarnitine (PalC), was of particular interest due to its high abundance at loci of S. Typhimurium infection and MLN disruption. High levels of PalC localised to sites within the MLNs where B and T cells were absent and where the perimeter of CD169+ sub capsular sinus macrophages was disrupted. MLN cells cultured ex vivo and treated with PalC had reduced CD4+CD25+ T cells and an increased number of B220+CD19+ B cells. The reduction in CD4+CD25+ T cells was likely due to apoptosis driven by increased caspase-3/7 activity. These data indicate that PalC significantly alters the host response in the MLNs, acting as a decisive factor in infection outcome

Seasonal changes in a sandy beach fish assemblage at Canto Grande, Santa Catarina, South Brazil

Copyright © 2004 Coastal Education and Research Foundation (CERF).Neste trabalho realizaramse amostragens, com uma rede de praia, de modo a estudar a comunidade de peixes de substrato arenoso na enseada de Canto Grande, Santa Catarina, Brasil. As amostragens realizaramse em intervalos de 3 horas durante períodos de 24 h, numa base bimensal, entre Abril de 1996 e Fevereiro de 1997. Verificouse existir uma variação sazonal no número de espécies, densidade de peixes e biomassa, tendo os valores mais elevados ocorrido em Fevereiro (38 espécies, 257.6 peixes 1000 mˉ², 2286.4 g 1000 mˉ²). Recolheuse um total de 67 espécies, pertencentes a 56 géneros e a 33 famílias, sendo a comunidade dominada por sete espécies pertencentes a três famílias: Atherinella brasiliensis (Atherinidae); Brevoortia pectinata, Harengula clupeola e Sardinella brasiliensis (Clupeidae); Anchoviella lepidontostole, Cetengraulis edentulus e Lycengraulis grossidens (Engraulidae). Tanto a diversidade de espécies (H′) como a equitabilidade (J′) foram médias a elevadas ao longo do ano devido à baixa dominância. A maior mudança na estrutura da comunidade ocorreu entre os meses de Inverno (Julho e Agosto) e as outras estações. Nenhuma das espécies dominantes pode ser classificada como residente. Os principais predadores foram Pomatomus saltator (Inverno) e Trichiurus lepturus (Verão). A maior parte das espécies observadas foram ou peixes juvenis ou espécies pelágicas de pequeno tamanho e fortemente gregárias.ABSTRACT: A shallow-water fish assemblage, over a soft, sandy bottom, at Canto Grande, Santa Catarina, Brazil, was sampled with a beach seine. Sampling was undertaken at 3 h intervals over 24 h on a bimonthly basis between April 1996 and February 1997. There was a seasonal variation in the number of species, density of fishes and biomass with the highest values in February (38 species, 257.6 fish 1000 mˉ², 2286.4 g 1000 mˉ²). A total of 67 species, belonging to 56 genera and 33 families were collected and the assemblage was dominated by seven species belonging to three families: Atherinella brasiliensis (Atherinidae); Brevoortia pectinata, Harengula clupeola and Sardinella brasiliensis (Clupeidae); Anchoviella lepidontostole, Cetengraulis edentulus and Lycengraulis grossidens (Engraulidae). Species diversity (H′) and equitability (J′) were medium to high throughout the year due to the low dominance. The largest change in the assemblage structure occurred between winter months (July and August) and the other seasons. None of the dominant species can be classified as a resident. Main predators were Pomatomus saltator (winter) and Trichiurus lepturus (summer). Most of the species observed were either juvenile fish or small pelagic and strongly gregarious species

Transcriptome and proteome analysis of Salmonella enterica serovar Typhimurium systemic infection of wild type and immune-deficient mice

Salmonella enterica are a threat to public health. Current vaccines are not fully effective. The ability to grow in infected tissues within phagocytes is required for S. enterica virulence in systemic disease. As the infection progresses the bacteria are exposed to a complex host immune response. Consequently, in order to continue growing in the tissues, S. enterica requires the coordinated regulation of fitness genes. Bacterial gene regulation has so far been investigated largely using exposure to artificial environmental conditions or to in vitro cultured cells, and little information is available on how S. enterica adapts in vivo to sustain cell division and survival. We have studied the transcriptome, proteome and metabolic flux of Salmonella, and the transcriptome of the host during infection of wild type C57BL/6 and immune-deficient gp91-/-phox mice. Our analyses advance the understanding of how S. enterica and the host behaves during infection to a more sophisticated level than has previously been reported.This work was supported by a Medical Research Council (MRC) grant G0801161awarded to A.J.G., P.M. and D.J.M. OO was supported by a Newton Trust grant awarded to AJG. MC was supported by an Engineering and Physical Sciences Research Council (EPSRC) doctoral training studentship

Tumour necrosis factor-alpha expression in tumour islets confers a survival advantage in non-small cell lung cancer

<p>Abstract</p> <p>Background</p> <p>The role of TNFα in cancer is complex with both pro-tumourigenic and anti-tumourigenic roles proposed. We hypothesised that anatomical microlocalisation is critical for its function.</p> <p>Methods</p> <p>This study used immunohistochemistry to investigate the expression of TNFα in the tumour islets and stroma with respect to survival in 133 patients with surgically resected NSCLC.</p> <p>Results</p> <p>TNFα expression was increased in the tumour islets of patients with above median survival (AMS) compared to those with below median survival (BMS)(p = 0.006), but similar in the stroma of both groups. Increasing tumour islet TNFα density was a favorable independent prognostic indicator (p = 0.048) while stromal TNFα density was an independent predictor of reduced survival (p = 0.007). Patients with high TNFα expression (upper tertile) had a significantly higher 5-year survival compared to patients in the lower tertile (43% versus 22%, p = 0.01). In patients with AMS, 100% of TNFα⁺cells were macrophages and mast cells, compared to only 28% in the islets and 50% in the stroma of BMS patients (p < 0.001).</p> <p>Conclusions</p> <p>The expression of TNFα in the tumour islets of patients with NSCLC is associated with improved survival suggesting a role in the host anti-tumour immunological response. The expression of TNFα by macrophages and mast cells is critical for this relationship.</p