Symbolic Analysis of Identity-Based Protocols

International audienceWe show how the Tamarin tool can be used to model and reason about security protocols using identity-based cryptography, including identity-based encryption and signatures. Although such protocols involve rather different primitives than conventional public-key cryptography , we illustrate how suitable abstractions and Tamarin's support for equational theories can be used to model and analyze realistic industry protocols, either finding flaws or gaining confidence in their security with respect to different classes of adversaries. Technically, we propose two models of identity-based cryptography. First, we formalize an abstract model, based on simple equations, in which verification of realistic protocols is feasible. Second, we formalize a more precise model, leveraging Tamarin's support for bilinear pairing and exclusive-or. This model is much closer to practical realizations of identity-based cryptography, but deduction is substantially more complex. Along the way, we point out the limits of precise modeling and highlight challenges in providing support for equational reasoning. We evaluate our models on an industrial protocol case study, where we find and fix flaws

Rapid HIV testing program implementation: lessons from the emergency department

Background: The US Centers for Disease Control and Prevention (CDC) guidelines and the World Health Organization (WHO) both recommend HIV testing in health-care settings. However, neither organization provides prescriptive details regarding how these recommendations should be adapted into clinical practice in an emergency department. Methods: We have implemented an HIV-testing program in the ED of a major academic medical center within the scope of the Universal Screening for HIV Infection in the Emergency Room (USHER) Trial—a randomized clinical trial evaluating the feasibility and cost-effectiveness of HIV screening in this setting. Results and conclusion: Drawing on our collective experiences in establishing programs domestically and internationally, we offer a practical framework of lessons learned so that others poised to embark on such HIV testing programs may benefit from our experiences

Lipoteichoic Acid Induces Unique Inflammatory Responses when Compared to Other Toll-Like Receptor 2 Ligands

Toll-like receptors (TLRs) recognize evolutionarily-conserved molecular patterns originating from invading microbes. In this study, we were interested in determining if microbial ligands, which use distinct TLR2-containing receptor complexes, represent unique signals to the cell and can thereby stimulate unique cellular responses. Using the TLR2 ligands, R-FSL1, S-FSL1, Pam2CSK4, Pam3CSK4, and lipoteichoic acid (LTA), we demonstrate that these ligands activate NF-κB and MAP Kinase pathways with ligand-specific differential kinetics in murine macrophages. Most strikingly, LTA stimulation of these pathways was substantially delayed when compared with the other TLR2 ligands. These kinetics differences were associated with a delay in the LTA-induced expression of a subset of genes as compared with another TLR2 ligand, R-FSL1. However, this did not translate to overall differences in gene expression patterns four hours following stimulation with different TLR2 ligands. We extended this study to evaluate the in vivo responses to distinct TLR2 ligands using a murine model of acute inflammation, which employs intravital microscopy to monitor leukocyte recruitment into the cremaster muscle. We found that, although R-FSL1, S-FSL1, Pam2CSK4, and Pam3CSK4 were all able to stimulate robust leukocyte recruitment in vivo, LTA remained functionally inert in this in vivo model. Therefore distinct TLR2 ligands elicit unique cellular responses, as evidenced by differences in the kinetic profiles of signaling and gene expression responses in vitro, as well as the physiologically relevant differences in the in vivo responses to these ligands

A Late Form of Nucleophagy in Saccharomyces cerevisiae

Autophagy encompasses several processes by which cytosol and organelles can be delivered to the vacuole/lysosome for breakdown and recycling. We sought to investigate autophagy of the nucleus (nucleophagy) in the yeast Saccharomyces cerevisiae by employing genetically encoded fluorescent reporters. The use of such a nuclear reporter, n-Rosella, proved the basis of robust assays based on either following its accumulation (by confocal microscopy), or degradation (by immunoblotting), within the vacuole. We observed the delivery of n-Rosella to the vacuole only after prolonged periods of nitrogen starvation. Dual labeling of cells with Nvj1p-EYFP, a nuclear membrane reporter of piecemeal micronucleophagy of the nucleus (PMN), and the nucleoplasm-targeted NAB35-DsRed.T3 allowed us to detect PMN soon after the commencement of nitrogen starvation whilst delivery to the vacuole of the nucleoplasm reporter was observed only after prolonged periods of nitrogen starvation. This later delivery of nuclear components to the vacuole has been designated LN (late nucleophagy). Only a very few cells showed simultaneous accumulation of both reporters (Nvj1p-EYFP and NAB35-DsRed.T3) in the vacuole. We determined, therefore, that delivery of the two respective nuclear reporters to the vacuole is temporally and spatially separated. Furthermore, our data suggest that LN is mechanistically distinct from PMN because it can occur in nvj1Δ and vac8Δ cells, and does not require ATG11. Nevertheless, a subset of the components of the core macroautophagic machinery is required for LN as it is efficiently inhibited in null mutants of several autophagy-related genes (ATG) specifying such components. Moreover, the inhibition of LN in some mutants is accompanied by alterations in nuclear morphology

Genetic Variation and Population Substructure in Outbred CD-1 Mice: Implications for Genome-Wide Association Studies

Outbred laboratory mouse populations are widely used in biomedical research. Since little is known about the degree of genetic variation present in these populations, they are not widely used for genetic studies. Commercially available outbred CD-1 mice are drawn from an extremely large breeding population that has accumulated many recombination events, which is desirable for genome-wide association studies. We therefore examined the degree of genome-wide variation within CD-1 mice to investigate their suitability for genetic studies. The CD-1 mouse genome displays patterns of linkage disequilibrium and heterogeneity similar to wild-caught mice. Population substructure and phenotypic differences were observed among CD-1 mice obtained from different breeding facilities. Differences in genetic variation among CD-1 mice from distinct facilities were similar to genetic differences detected between closely related human populations, consistent with a founder effect. This first large-scale genetic analysis of the outbred CD-1 mouse strain provides important considerations for the design and analysis of genetic studies in CD-1 mice

A Common CNR1 (Cannabinoid Receptor 1) Haplotype Attenuates the Decrease in HDL Cholesterol That Typically Accompanies Weight Gain

We have previously shown that genetic variability in CNR1 is associated with low HDL dyslipidemia in a multigenerational obesity study cohort of Northern European descent (209 families, median  = 10 individuals per pedigree). In order to assess the impact of CNR1 variability on the development of dyslipidemia in the community, we genotyped this locus in all subjects with class III obesity (body mass index >40 kg/m2) participating in a population-based biobank of similar ancestry. Twenty-two haplotype tagging SNPs, capturing the entire CNR1 gene locus plus 15 kb upstream and 5 kb downstream, were genotyped and tested for association with clinical lipid data. This biobank contains data from 645 morbidly obese study subjects. In these subjects, a common CNR1 haplotype (H3, frequency 21.1%) is associated with fasting TG and HDL cholesterol levels (p = 0.031 for logTG; p = 0.038 for HDL-C; p = 0.00376 for log[TG/HDL-C]). The strength of this relationship increases when the data are adjusted for age, gender, body mass index, diet and physical activity. Mean TG levels were 160±70, 155±70, and 120±60 mg/dL for subjects with 0, 1, and 2 copies of the H3 haplotype. Mean HDL-C levels were 45±10, 47±10, and 48±9 mg/dL, respectively. The H3 CNR1 haplotype appears to exert a protective effect against development of obesity-related dyslipidemia

The evolution of the plastid chromosome in land plants: gene content, gene order, gene function

This review bridges functional and evolutionary aspects of plastid chromosome architecture in land plants and their putative ancestors. We provide an overview on the structure and composition of the plastid genome of land plants as well as the functions of its genes in an explicit phylogenetic and evolutionary context. We will discuss the architecture of land plant plastid chromosomes, including gene content and synteny across land plants. Moreover, we will explore the functions and roles of plastid encoded genes in metabolism and their evolutionary importance regarding gene retention and conservation. We suggest that the slow mode at which the plastome typically evolves is likely to be influenced by a combination of different molecular mechanisms. These include the organization of plastid genes in operons, the usually uniparental mode of plastid inheritance, the activity of highly effective repair mechanisms as well as the rarity of plastid fusion. Nevertheless, structurally rearranged plastomes can be found in several unrelated lineages (e.g. ferns, Pinaceae, multiple angiosperm families). Rearrangements and gene losses seem to correlate with an unusual mode of plastid transmission, abundance of repeats, or a heterotrophic lifestyle (parasites or myco-heterotrophs). While only a few functional gene gains and more frequent gene losses have been inferred for land plants, the plastid Ndh complex is one example of multiple independent gene losses and will be discussed in detail. Patterns of ndh-gene loss and functional analyses indicate that these losses are usually found in plant groups with a certain degree of heterotrophy, might rendering plastid encoded Ndh1 subunits dispensable