A mouse model for the human pathogen Salmonella typhi

Salmonella enterica serovar Typhi (S. Typhi) causes typhoid fever, a life-threatening human disease. The lack of animal models due to S. Typhi's strict human host specificity has hindered its study and vaccine development. We find that immunodeficient Rag2(-/-) γc(-/-) mice engrafted with human fetal liver hematopoietic stem and progenitor cells are able to support S. Typhi replication and persistent infection. A S. Typhi mutant in a gene required for virulence in humans was unable to replicate in these mice. Another mutant unable to produce typhoid toxin exhibited increased replication, suggesting a role for this toxin in the establishment of persistent infection. Furthermore, infected animals mounted human innate and adaptive immune responses to S. Typhi, resulting in the production of cytokines and pathogen-specific antibodies. We expect that this mouse model will be a useful resource for understanding S. Typhi pathogenesis and for evaluating potential vaccine candidates against typhoid fever

Humanized Rag1−/−γc−/− Mice Support Multilineage Hematopoiesis and Are Susceptible to HIV-1 Infection via Systemic and Vaginal Routes

Several new immunodeficient mouse models for human cell engraftment have recently been introduced that include the Rag2−/−γc−/−, NOD/SCID, NOD/SCIDγc−/− and NOD/SCIDβ2m−/− strains. Transplantation of these mice with CD34+ human hematopoietic stem cells leads to prolonged engraftment, multilineage hematopoiesis and the capacity to generate human immune responses against a variety of antigens. However, the various mouse strains used and different methods of engrafting human cells are beginning to illustrate strain specific variations in engraftment levels, duration and longevity of mouse life span. In these proof-of-concept studies we evaluated the Balb/c-Rag1−/−γ−/− strain for engraftment by human fetal liver derived CD34+ hematopoietic cells using the same protocol found to be effective for Balb/c-Rag2−/−γc−/− mice. We demonstrate that these mice can be efficiently engrafted and show multilineage human hematopoiesis with human cells populating different lymphoid organs. Generation of human cells continues beyond a year and production of human immunoglobulins is noted. Infection with HIV-1 leads to chronic viremia with a resultant CD4 T cell loss. To mimic the predominant sexual viral transmission, we challenged humanized Rag1−/−γc−/− mice with HIV-1 via vaginal route which also resulted in chronic viremia and helper T cell loss. Thus these mice can be further exploited for studying human pathogens that infect the human hematopoietic system in an in vivo setting

Subvert KEM to Break DEM: Practical Algorithm-Substitution Attacks on Public-Key Encryption

Motivated by the currently widespread concern about mass surveillance of encrypted communications, Bellare \emph{et al.} introduced at CRYPTO 2014 the notion of Algorithm-Substitution Attack (ASA) where the legitimate encryption algorithm is replaced by a subverted one that aims to undetectably exfiltrate the secret key via ciphertexts. Practically implementable ASAs on various cryptographic primitives (Bellare \emph{et al.}, CRYPTO\u2714 \& ACM CCS\u2715; Ateniese \emph{et al.}, ACM CCS\u2715; Berndt and Liśkiewicz, ACM CCS\u2717) have been constructed and analyzed, leaking the secret key successfully. Nevertheless, in spite of much progress, the practical impact of ASAs (formulated originally for symmetric key cryptography) on public-key (PKE) encryption operations remains unclear, primarily since the encryption operation of PKE does not involve the secret key, and also previously known ASAs become relatively inefficient for leaking the plaintext due to the logarithmic upper bound of exfiltration rate (Berndt and Liśkiewicz, ACM CCS\u2717). In this work, we formulate a practical ASA on PKE encryption algorithm which, perhaps surprisingly, turns out to be much more efficient and robust than existing ones, showing that ASAs on PKE schemes are far more effective and dangerous than previously believed. We mainly target PKE of hybrid encryption which is the most prevalent way to employ PKE in the literature and in practice. The main strategy of our ASA is to subvert the underlying key encapsulation mechanism (KEM) so that the session key encapsulated could be efficiently extracted, which, in turn, breaks the data encapsulation mechanism (DEM) enabling us to learn the plaintext itself. Concretely, our non-black-box yet quite general attack enables recovering the plaintext from only two successive ciphertexts and minimally depends on a short state of previous internal randomness. A widely used class of KEMs is shown to be subvertible by our powerful attack. Our attack relies on a novel identification and formalization of certain properties that yield practical ASAs on KEMs. More broadly, it points at and may shed some light on exploring structural weaknesses of other ``composed cryptographic primitives,\u27\u27 which may make them susceptible to more dangerous ASAs with effectiveness that surpasses the known logarithmic upper bound (i.e., reviewing composition as an attack enabler)

The utility of the new generation of humanized mice to study HIV-1 infection: transmission, prevention, pathogenesis, and treatment

Substantial improvements have been made in recent years in the ability to engraft human cells and tissues into immunodeficient mice. The use of human hematopoietic stem cells (HSCs) leads to multi-lineage human hematopoiesis accompanied by production of a variety of human immune cell types. Population of murine primary and secondary lymphoid organs with human cells occurs, and long-term engraftment has been achieved. Engrafted cells are capable of producing human innate and adaptive immune responses, making these models the most physiologically relevant humanized animal models to date. New models have been successfully infected by a variety of strains of Human Immunodeficiency Virus Type 1 (HIV-1), accompanied by virus replication in lymphoid and non-lymphoid organs, including the gut-associated lymphoid tissue, the male and female reproductive tracts, and the brain. Multiple forms of virus-induced pathogenesis are present, and human T cell and antibody responses to HIV-1 are detected. These humanized mice are susceptible to a high rate of rectal and vaginal transmission of HIV-1 across an intact epithelium, indicating the potential to study vaccines and microbicides. Antiviral drugs, siRNAs, and hematopoietic stem cell gene therapy strategies have all been shown to be effective at reducing viral load and preventing or reversing helper T cell loss in humanized mice, indicating that they will serve as an important preclinical model to study new therapeutic modalities. HIV-1 has also been shown to evolve in response to selective pressures in humanized mice, thus showing that the model will be useful to study and/or predict viral evolution in response to drug or immune pressures. The purpose of this review is to summarize the findings reported to date on all new humanized mouse models (those transplanted with human HSCs) in regards to HIV-1 sexual transmission, pathogenesis, anti-HIV-1 immune responses, viral evolution, pre- and post-exposure prophylaxis, and gene therapeutic strategies

Reconstruction and identification of τ lepton decays to hadrons and ντ at CMS

This paper describes the algorithms used by the CMS experiment to reconstruct and identify tau -> hadrons + nu(tau) decays during Run 1 of the LHC. The performance of the algorithms is studied in proton-proton collisions recorded at a centre-of-mass energy of 8 TeV, corresponding to an integrated luminosity of 19.7 fb(-1). The algorithms achieve an identification efficiency of 50-60%, with misidentification rates for quark and gluon jets, electrons, and muons between per mille and per cent levels

Reconstruction and identification of tau lepton decays to hadrons and tau neutrino at CMS

This paper describes the algorithms used by the CMS experiment to reconstruct and identify tau to hadrons + tau neutrino decays during Run 1 of the LHC. The performance of the algorithms is studied in proton-proton collisions recorded at a centre-of-mass energy of 8 TeV, corresponding to an integrated luminosity of 19.7 inverse femtobarns. The algorithms achieve an identification efficiency of 50-60%, with misidentification rates for quark and gluon jets, electrons, and muons between per mille and per cent levels.Comment: Replaced with published version. Added journal referenc