205 research outputs found

    Affine Refinement Types for Secure Distributed Programming

    Get PDF
    Recent research has shown that it is possible to leverage general-purpose theorem-proving techniques to develop powerful type systems for the verification of a wide range of security properties on application code. Although successful in many respects, these type systems fall short of capturing resource-conscious properties that are crucial in large classes of modern distributed applications. In this article, we propose the first type system that statically enforces the safety of cryptographic protocol implementations with respect to authorization policies expressed in affine logic. Our type system draws on a novel notion of "exponential serialization" of affine formulas, a general technique to protect affine formulas from the effect of duplication. This technique allows formulate of an expressive logical encoding of the authentication mechanisms underpinning distributed resource-aware authorization policies. We discuss the effectiveness of our approach on two case studies: the EPMO e-commerce protocol and the Kerberos authentication protocol. We finally devise a sound and complete type-checking algorithm, which is the key to achieving an efficient implementation of our analysis technique.Recent research has shown that it is possible to leverage general-purpose theorem-proving techniques to develop powerful type systems for the verification of a wide range of security properties on application code. Although successful in many respects, these type systems fall short of capturing resource-conscious properties that are crucial in large classes of modern distributed applications. In this article, we propose the first type system that statically enforces the safety of cryptographic protocol implementations with respect to authorization policies expressed in affine logic. Our type system draws on a novel notion of "exponential serialization" of affine formulas, a general technique to protect affine formulas from the effect of duplication. This technique allows formulate of an expressive logical encoding of the authentication mechanisms underpinning distributed resource-aware authorization policies. We discuss the effectiveness of our approach on two case studies: the EPMO e-commerce protocol and the Kerberos authentication protocol. We finally devise a sound and complete type-checking algorithm, which is the key to achieving an efficient implementation of our analysis technique

    A Hypermorphic Missense Mutation in PLCG2, Encoding Phospholipase Cγ2, Causes a Dominantly Inherited Autoinflammatory Disease with Immunodeficiency

    Get PDF
    Whole-exome sequencing was performed in a family affected by dominantly inherited inflammatory disease characterized by recurrent blistering skin lesions, bronchiolitis, arthralgia, ocular inflammation, enterocolitis, absence of autoantibodies, and mild immunodeficiency. Exome data from three samples, including the affected father and daughter and unaffected mother, were filtered for the exclusion of reported variants, along with benign variants, as determined by PolyPhen-2. A total of eight transcripts were identified as possible candidate genes. We confirmed a variant, c.2120C>A (p.Ser707Tyr), within PLCG2 as the only de novo variant that was present in two affected family members and not present in four unaffected members. PLCG2 encodes phospholipase Cγ2 (PLCγ2), an enzyme with a critical regulatory role in various immune and inflammatory pathways. The p.Ser707Tyr substitution is located in an autoinhibitory SH2 domain that is crucial for PLCγ2 activation. Overexpression of the altered p.Ser707Tyr protein and ex vivo experiments using affected individuals’ leukocytes showed clearly enhanced PLCγ2 activity, suggesting increased intracellular signaling in the PLCγ2-mediated pathway. Recently, our laboratory identified in individuals with cold-induced urticaria and immune dysregulation PLCG2 exon-skipping mutations resulting in protein products with constitutive phospholipase activity but with reduced intracellular signaling at physiological temperatures. In contrast, the p.Ser707Tyr substitution in PLCγ2 causes a distinct inflammatory phenotype that is not provoked by cold temperatures and that has different end-organ involvement and increased intracellular signaling at physiological temperatures. Our results highlight the utility of exome-sequencing technology in finding causal mutations in nuclear families with dominantly inherited traits otherwise intractable by linkage analysis

    The CBM-opathies—A Rapidly Expanding Spectrum of Human Inborn Errors of Immunity Caused by Mutations in the CARD11-BCL10-MALT1 Complex

    Get PDF
    The caspase recruitment domain family member 11 (CARD11 or CARMA1)—B cell CLL/lymphoma 10 (BCL10)—MALT1 paracaspase (MALT1) [CBM] signalosome complex serves as a molecular bridge between cell surface antigen receptor signaling and the activation of the NF-κB, JNK, and mTORC1 signaling axes. This positions the CBM complex as a critical regulator of lymphocyte activation, proliferation, survival, and metabolism. Inborn errors in each of the CBM components have now been linked to a diverse group of human primary immunodeficiency diseases termed “CBM-opathies.” Clinical manifestations range from severe combined immunodeficiency to selective B cell lymphocytosis, atopic disease, and specific humoral defects. This surprisingly broad spectrum of phenotypes underscores the importance of “tuning” CBM signaling to preserve immune homeostasis. Here, we review the distinct clinical and immunological phenotypes associated with human CBM complex mutations and introduce new avenues for targeted therapeutic intervention

    Translating the terrestrial mitigation hierarchy to marine megafauna bycatch

    Get PDF
    In terrestrial and coastal systems, the mitigation hierarchy is widely and increasingly used to guide actions to ensure that no net loss of biodiversity ensues from development. We develop a conceptual model which applies this approach to the mitigation of marine megafauna bycatch in fisheries, going from defining an overarching goal with an associated quantitative target, through avoidance, minimisation, remediation to offsetting. We demonstrate the framework's utility as a tool for structuring thinking and exposing uncertainties. We draw comparisons between debates ongoing in terrestrial situations and in bycatch mitigation, to show how insights from each could inform the other; these are the hierarchical nature of mitigation, out-of-kind offsets, research as an offset, incentivising implementation of mitigation measures, societal limits and uncertainty. We explore how economic incentives could be used throughout the hierarchy to improve the achievement of bycatch goals. We conclude by highlighting the importance of clear agreed goals, of thinking beyond single species and individual jurisdictions to account for complex interactions and policy leakage, of taking uncertainty explicitly into account, and of thinking creatively about approaches to bycatch mitigation in order to improve outcomes for conservation and fishers. We suggest that the framework set out here could be helpful in supporting efforts to improve by catch mitigation efforts, and highlight the need for a full empirical application to substantiate this

    Signal transducer and activator of transcription 1 (STAT1) gain-of-function mutations and disseminated coccidioidomycosis and histoplasmosis

    Get PDF
    Background: Impaired signaling in the IFN-g/IL-12 pathway causes susceptibility to severe disseminated infections with mycobacteria and dimorphic yeasts. Dominant gain-of-function mutations in signal transducer and activator of transcription 1 (STAT1) have been associated with chronic mucocutaneous candidiasis. Objective: We sought to identify the molecular defect in patients with disseminated dimorphic yeast infections. Methods: PBMCs, EBV-transformed B cells, and transfected U3A cell lines were studied for IFN-g/IL-12 pathway function. STAT1 was sequenced in probands and available relatives. Interferon-induced STAT1 phosphorylation, transcriptional responses, protein-protein interactions, target gene activation, and function were investigated. Results: We identified 5 patients with disseminated Coccidioides immitis or Histoplasma capsulatum with heterozygous missense mutations in the STAT1 coiled-coil or DNA-binding domains. These are dominant gain-of-function mutations causing enhanced STAT1 phosphorylation, delayed dephosphorylation, enhanced DNA binding and transactivation, and enhanced interaction with protein inhibitor of activated STAT1. The mutations caused enhanced IFN-g–induced gene expression, but we found impaired responses to IFN-g restimulation. Conclusion: Gain-of-function mutations in STAT1 predispose to invasive, severe, disseminated dimorphic yeast infections, likely through aberrant regulation of IFN-g–mediated inflammationFil: Sampaio, Elizabeth P.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados Unidos. Instituto Oswaldo Cruz. Laboratorio de Leprologia; BrasilFil: Hsu, Amy P.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados UnidosFil: Pechacek, Joseph. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados UnidosFil: Hannelore I.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados Unidos. Erasmus Medical Center. Department of Medical Microbiology and Infectious Disease; Países BajosFil: Dias, Dalton L.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados UnidosFil: Paulson, Michelle L.. Clinical Research Directorate/CMRP; Estados UnidosFil: Chandrasekaran, Prabha. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados UnidosFil: Rosen, Lindsey B.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados UnidosFil: Carvalho, Daniel S.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados Unidos. Instituto Oswaldo Cruz, Laboratorio de Leprologia; BrasilFil: Ding, Li. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados UnidosFil: Vinh, Donald C.. McGill University Health Centre. Division of Infectious Diseases; CanadáFil: Browne, Sarah K.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados UnidosFil: Datta, Shrimati. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Allergic Diseases. Allergic Inflammation Unit; Estados UnidosFil: Milner, Joshua D.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Allergic Diseases. Allergic Inflammation Unit; Estados UnidosFil: Kuhns, Douglas B.. Clinical Services Program; Estados UnidosFil: Long Priel, Debra A.. Clinical Services Program; Estados UnidosFil: Sadat, Mohammed A.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Host Defenses. Infectious Diseases Susceptibility Unit; Estados UnidosFil: Shiloh, Michael. University of Texas. Southwestern Medical Center. Division of Infectious Diseases; Estados UnidosFil: De Marco, Brendan. University of Texas. Southwestern Medical Center. Division of Infectious Diseases; Estados UnidosFil: Alvares, Michael. University of Texas. Southwestern Medical Center. Division of Allergy and Immunology; Estados UnidosFil: Gillman, Jason W.. University of Texas. Southwestern Medical Center. Division of Infectious Diseases; Estados UnidosFil: Ramarathnam, Vivek. University of Texas. Southwestern Medical Center. Division of Infectious Diseases; Estados UnidosFil: de la Morena, Maite. University of Texas. Southwestern Medical Center. Division of Allergy and Immunology; Estados UnidosFil: Bezrodnik, Liliana. Gobierno de la Ciudad de Buenos Aires. Hospital General de Niños "Ricardo Gutierrez"; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Moreira, Ileana. Gobierno de la Ciudad de Buenos Aires. Hospital General de Niños "Ricardo Gutierrez"; ArgentinaFil: Uzel, Gulbu. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados UnidosFil: Johnson, Daniel. University of Chicago. Comer Children; Estados UnidosFil: Spalding, Christine. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados UnidosFil: Zerbe, Christa S.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados UnidosFil: Wiley, Henry. National Eye Institute. Clinical Trials Branch; Estados UnidosFil: Greenberg, David E.. University of Texas. Southwestern Medical Center. Division of Infectious Diseases; Estados UnidosFil: Hoover, Susan E.. University of Arizona. College of Medicine. Valley Fever Center for Excellence; Estados UnidosFil: Rosenzweig, Sergio D.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Host Defenses Infectious Diseases Susceptibility Unit; Estados Unidos. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Primary Immunodeficiency Clinic; Estados UnidosFil: Galgiani, John N.. University of Arizona. College of Medicine. Valley Fever Center for Excellence; Estados UnidosFil: Holland, Steven M.. National Institutes of Health. National Institute of Allergy and Infectious Diseases. Laboratory of Clinical Infectious Diseases. Immunopathogenesis Section; Estados Unido

    Fast, Multiphase Volume Adaptation to Hyperosmotic Shock by Escherichia coli

    Get PDF
    All living cells employ an array of different mechanisms to help them survive changes in extra cellular osmotic pressure. The difference in the concentration of chemicals in a bacterium's cytoplasm and the external environment generates an osmotic pressure that inflates the cell. It is thought that the bacterium Escherichia coli use a number of interconnected systems to adapt to changes in external pressure, allowing them to maintain turgor and live in surroundings that range more than two-hundred-fold in external osmolality. Here, we use fluorescence imaging to make the first measurements of cell volume changes over time during hyperosmotic shock and subsequent adaptation on a single cell level in vivo with a time resolution on the order of seconds. We directly observe two previously unseen phases of the cytoplasmic water efflux upon hyperosmotic shock. Furthermore, we monitor cell volume changes during the post-shock recovery and observe a two-phase response that depends on the shock magnitude. The initial phase of recovery is fast, on the order of 15–20 min and shows little cell-to-cell variation. For large sucrose shocks, a secondary phase that lasts several hours adds to the recovery. We find that cells are able to recover fully from shocks as high as 1 Osmol/kg using existing systems, but that for larger shocks, protein synthesis is required for full recovery
    corecore