Verifiable Encodings for Secure Homomorphic Analytics

Homomorphic encryption, which enables the execution of arithmetic operations directly on ciphertexts, is a promising solution for protecting privacy of cloud-delegated computations on sensitive data. However, the correctness of the computation result is not ensured. We propose two error detection encodings and build authenticators that enable practical client-verification of cloud-based homomorphic computations under different trade-offs and without compromising on the features of the encryption algorithm. Our authenticators operate on top of trending ring learning with errors based fully homomorphic encryption schemes over the integers. We implement our solution in VERITAS, a ready-to-use system for verification of outsourced computations executed over encrypted data. We show that contrary to prior work VERITAS supports verification of any homomorphic operation and we demonstrate its practicality for various applications, such as ride-hailing, genomic-data analysis, encrypted search, and machine-learning training and inference.Comment: update authors, typos corrected, scheme update

Inhibition of <i>Giardia intestinalis</i> by extracellular factors from Lactobacilli: an in vitro study

The aim of the present work was to evaluate the effect of spent culture supernatants of different strains of lactobacilli on giardia trophozoites. The growth of Giardia intestinalis strain WB, as well as the attachment to the human intestinal epithelial cell line Caco-2, was evaluated by using proliferation and adhesion assays with radiolabeled parasites. In addition, scanning electron microscopy and flow cytometric analysis were performed. The effect of spent culture supernatants from lactobacilli was strain dependent. Lactobacillus johnsonii La1 significantly inhibited the proliferation of G. intestinalis trophozoites. Although the effect was strongly pH dependent, it was not simply due to lactic acid. According to flow cytometric analysis, trophozoites were arrested in G1 phase but neither significant necrosis nor apoptosis could be detected. Bacterial cells or their spent culture supernatants were unable to modify trophozoite attachment to Caco-2 cells. However, trophozoites treated with spent culture supernatants had little, if any, proliferative capacity. These results suggest that La1 produces some substance(s) able to inhibit proliferation of Giardia trophozoites. Partial characterization of the factors involved in the antigiardiasic action showed that they have a low molecular mass and are inactivated by heating. On this basis, it seems worthwhile to explore how colonization of the proximal small bowel with these lactic acid bacteria could interfere with giardiasis in vivo.Facultad de Ciencias ExactasCentro de Investigación y Desarrollo en Criotecnología de Alimento

Inhibition of <i>Giardia intestinalis</i> by extracellular factors from Lactobacilli: an in vitro study

The aim of the present work was to evaluate the effect of spent culture supernatants of different strains of lactobacilli on giardia trophozoites. The growth of Giardia intestinalis strain WB, as well as the attachment to the human intestinal epithelial cell line Caco-2, was evaluated by using proliferation and adhesion assays with radiolabeled parasites. In addition, scanning electron microscopy and flow cytometric analysis were performed. The effect of spent culture supernatants from lactobacilli was strain dependent. Lactobacillus johnsonii La1 significantly inhibited the proliferation of G. intestinalis trophozoites. Although the effect was strongly pH dependent, it was not simply due to lactic acid. According to flow cytometric analysis, trophozoites were arrested in G1 phase but neither significant necrosis nor apoptosis could be detected. Bacterial cells or their spent culture supernatants were unable to modify trophozoite attachment to Caco-2 cells. However, trophozoites treated with spent culture supernatants had little, if any, proliferative capacity. These results suggest that La1 produces some substance(s) able to inhibit proliferation of Giardia trophozoites. Partial characterization of the factors involved in the antigiardiasic action showed that they have a low molecular mass and are inactivated by heating. On this basis, it seems worthwhile to explore how colonization of the proximal small bowel with these lactic acid bacteria could interfere with giardiasis in vivo.Facultad de Ciencias ExactasCentro de Investigación y Desarrollo en Criotecnología de Alimento

Skewed maturation of memory HIV-specific CD8 T lymphocytes

Understanding the lineage differentiation of memory T cells is a central question in immunology. We investigated this issue by analysing the expression of the chemokine receptor CCR7, which defines distinct subsets of naive and memory T lymphocytes with different homing and effector capacities and antiviral immune responses to HIV and cytomegalovirus. Ex vivo analysis of the expression of CD45RA and CCR7 antigens, together with in vitro analysis of the cell-division capacity of different memory CD8+ T-cell populations, identified four subsets of HIV- and CMV-specific CD8+ T lymphocytes, and indicated the following lineage differentiation pattern: CD45RA+ CCR7+ --&gt; CD45RA- CCR7+ --&gt; CD45RA- CCR7- --&gt; CD45RA+ CCR7-. Here we demonstrate through analysis of cell division (predominantly restricted to the CCR7+ CD8+ T-cell subsets) that the differentiation of antigen-specific CD8+ T cells is a two-step process characterized initially by a phase of proliferation largely restricted to the CCR7+ CD8+ cell subsets, followed by a phase of functional maturation encompassing the CCR7- CD8+ cell subsets. The distribution of these populations in HIV- and CMV-specific CD8+ T cells showed that the HIV-specific cell pool was predominantly (70%) composed of pre-terminally differentiated CD45RA- CCR7- cells, whereas the CMV-specific cell pool consisted mainly (50%) of the terminally differentiated CD45RA+ CCR7- cells. These results demonstrate a skewed maturation of HIV-specific memory CD8+ T cells during HIV infection

Limited CD4+ T cell renewal in early stage of HIV-1 infection: effect of highly active antiretroviral therapy.

We show that the fraction of proliferating CD4+ lymphocytes is similar in HIV-infected subjects in the early stage of disease and in HIV-negative subjects, whereas the fraction of proliferating CD8+ lymphocytes is increased 6.8-fold in HIV-infected subjects. After initiation of antiviral therapy, there is a late increase in proliferating CD4+ T cells associated with the restoration of CD4+ T-cell counts. These results provide strong support for the idea of limited CD4+ T-cell renewal in the early stage of HIV infection and indicate that after effective suppression of virus replication, the mechanisms of CD4+ T-cell production are still functional in early HIV infection

Effects of mycophenolic acid on human immunodeficiency virus infection in vitro and in vivo.

Mycophenolic acid, a selective inhibitor of the de novo synthesis of guanosine nucleotides in T and B lymphocytes, has been proposed to inhibit human immunodeficiency virus (HIV) replication in vitro by depleting the substrate (guanosine nucleotides) for reverse transcriptase. Here we show that mycophenolic acid induced apoptosis and cell death in a large proportion of activated CD4+ T cells, thus indicating that it may inhibit HIV infection in vitro by both virological mechanisms and immunological mechanisms (depletion of the pool of activated CD4+ T lymphocytes). Administration of mycophenolate mophetil, the ester derivate of mycophenolic acid, to HIV-infected subjects treated with anti-retroviral therapy and with undetectable viremia resulted in the reduction of the number of dividing CD4 + and CD8+ T cells and in the inhibition of virus isolation from purified CD4+ T-cell populations. Based on these results, the potential use of mycophenolate mophetil in the treatment of HIV infection deserves further investigation in controlled clinical trials