A framework for implementing outsourcing schemes

En esta tesis se aborda el problema de la externalización segura de servicios de datos y computación. El escenario de interés es aquel en el que el usuario posee datos y quiere subcontratar un servidor en la nube (“Cloud”). Además, el usuario puede querer también delegar el cálculo de un subconjunto de sus datos al servidor. Se presentan dos aspectos de seguridad relacionados con este escenario, en concreto, la integridad y la privacidad y se analizan las posibles soluciones a dichas cuestiones, aprovechando herramientas criptográficas avanzadas, como el Autentificador de Mensajes Homomórfico (“Homomorphic Message Authenticators”) y el Cifrado Totalmente Homomórfico (“Fully Homomorphic Encryption”). La contribución de este trabajo es tanto teórica como práctica. Desde el punto de vista de la contribución teórica, se define un nuevo esquema de externalización (en lo siguiente, denominado con su término inglés Outsourcing), usando como punto de partida los artículos de [3] y [12], con el objetivo de realizar un modelo muy genérico y flexible que podría emplearse para representar varios esquemas de ”outsourcing” seguro. Dicho modelo puede utilizarse para representar esquemas de “outsourcing” seguro proporcionando únicamente integridad, únicamente privacidad o, curiosamente, integridad con privacidad. Utilizando este nuevo modelo también se redefine un esquema altamente eficiente, construido en [12] y que se ha denominado Outsourcinglin. Este esquema permite calcular polinomios multivariados de grado 1 sobre el anillo Z2k . Desde el punto de vista de la contribución práctica, se ha construido una infraestructura marco (“Framework”) para aplicar el esquema de “outsourcing”. Seguidamente, se ha testado dicho “Framework” con varias implementaciones, en concreto la implementación del criptosistema Joye-Libert ([18]) y la implementación del esquema propio Outsourcinglin. En el contexto de este trabajo práctico, la tesis también ha dado lugar a algunas contribuciones innovadoras: el diseño y la implementación de un nuevo algoritmo de descifrado para el esquema de cifrado Joye-Libert, en colaboración con Darío Fiore. Presenta un mejor comportamiento frente a los algoritmos propuestos por los autores de [18];la implementación de la función eficiente pseudo-aleatoria de forma amortizada cerrada (“amortized-closed-form efficient pseudorandom function”) de [12]. Esta función no se había implementado con anterioridad y no supone un problema trivial, por lo que este trabajo puede llegar a ser útil en otros contextos. Finalmente se han usado las implementaciones durante varias pruebas para medir tiempos de ejecución de los principales algoritmos.---ABSTRACT---In this thesis we tackle the problem of secure outsourcing of data and computation. The scenario we are interested in is that in which a user owns some data and wants to “outsource” it to a Cloud server. Furthermore, the user may want also to delegate the computation over a subset of its data to the server. We present the security issues related to this scenario, namely integrity and privacy and we analyse some possible solutions to these two issues, exploiting advanced cryptographic tools, such as Homomorphic Message Authenticators and Fully Homomorphic Encryption. Our contribution is both theoretical and practical. Considering our theoretical contribution, using as starting points the articles of [3] and [12], we introduce a new cryptographic primitive, called Outsourcing with the aim of realizing a very generic and flexible model that might be employed to represent several secure outsourcing schemes. Such model can be used to represent secure outsourcing schemes that provide only integrity, only privacy or, interestingly, integrity with privacy. Using our new model we also re-define an highly efficient scheme constructed in [12], that we called Outsourcinglin and that is a scheme for computing multi-variate polynomials of degree 1 over the ring Z2k. Considering our practical contribution, we build a Framework to implement the Outsourcing scheme. Then, we test such Framework to realize several implementations, specifically the implementation of the Joye-Libert cryptosystem ([18]) and the implementation of our Outsourcinglin scheme. In the context of this practical work, the thesis also led to some novel contributions: the design and the implementation, in collaboration with Dario Fiore, of a new decryption algorithm for the Joye-Libert encryption scheme, that performs better than the algorithms proposed by the authors in [18]; the implementation of the amortized-closed-form efficient pseudorandom function of [12]. There was no prior implementation of this function and it represented a non trivial work, which can become useful in other contexts. Finally we test the implementations to execute several experiments for measuring the timing performances of the main algorithms.

Differential elimination by differential specialization of Sylvester style matrices

Differential resultant formulas are defined, for a system $\cP$ of $n$ ordinary Laurent differential polynomials in $n-1$ differential variables. These are determinants of coefficient matrices of an extended system of polynomials obtained from $\cP$ through derivations and multiplications by Laurent monomials. To start, through derivations, a system $\ps(\cP)$ of $L$ polynomials in $L-1$ algebraic variables is obtained, which is non sparse in the order of derivation. This enables the use of existing formulas for the computation of algebraic resultants, of the multivariate sparse algebraic polynomials in $\ps(\cP)$, to obtain polynomials in the differential elimination ideal generated by $\cP$. The formulas obtained are multiples of the sparse differential resultant defined by Li, Yuan and Gao, and provide order and degree bounds in terms of mixed volumes in the generic case.

Calibración geométrica de cámaras no métricas. Estudio de metodologías y modelos matemáticos de distorsión

La Fotogrametría, como ciencia y técnica de obtención de información tridimensional del espacio objeto a partir de imágenes bidimensionales, requiere de medidas de precisión y en ese contexto, la calibración geométrica de cámaras ocupa un lugar importante. El conocimiento de la geometría interna de la cámara es fundamental para lograr mayor precisión en las medidas realizadas. En Fotogrametría Aérea se utilizan cámaras métricas (fabricadas exclusivamente para aplicaciones cartográficas), que incluyen objetivos fotográficos con sistemas de lentes complejos y de alta calidad. Pero en Fotogrametría de Objeto Cercano se está trabajando cada vez con más asiduidad con cámaras no métricas, con ópticas de peor calidad que exigen una calibración geométrica antes o después de cada trabajo. El proceso de calibración encierra tres conceptos fundamentales: modelo de cámara, modelo de distorsión y método de calibración. El modelo de cámara es un modelo matemático que aproxima la transformación proyectiva original a la realidad física de las lentes. Ese modelo matemático incluye una serie de parámetros entre los que se encuentran los correspondientes al modelo de distorsión, que se encarga de corregir los errores sistemáticos de la imagen. Finalmente, el método de calibración propone el método de estimación de los parámetros del modelo matemático y la técnica de optimización a emplear. En esta Tesis se propone la utilización de un patrón de calibración bidimensional que se desplaza en la dirección del eje óptico de la cámara, ofreciendo así tridimensionalidad a la escena fotografiada. El patrón incluye un número elevado de marcas, lo que permite realizar ensayos con distintas configuraciones geométricas. Tomando el modelo de proyección perspectiva (o pinhole) como modelo de cámara, se realizan ensayos con tres modelos de distorsión diferentes, el clásico de distorsión radial y tangencial propuesto por D.C. Brown, una aproximación por polinomios de Legendre y una interpolación bicúbica. De la combinación de diferentes configuraciones geométricas y del modelo de distorsión más adecuado, se llega al establecimiento de una metodología de calibración óptima. Para ayudar a la elección se realiza un estudio de las precisiones obtenidas en los distintos ensayos y un control estereoscópico de un panel test construido al efecto. ABSTRACT Photogrammetry, as science and technique for obtaining three-dimensional information of the space object from two-dimensional images, requires measurements of precision and in that context, the geometric camera calibration occupies an important place. The knowledge of the internal geometry of the camera is fundamental to achieve greater precision in measurements made. Metric cameras (manufactured exclusively for cartographic applications), including photographic lenses with complex lenses and high quality systems are used in Aerial Photogrammetry. But in Close Range Photogrammetry is working increasingly more frequently with non-metric cameras, worst quality optical components which require a geometric calibration before or after each job. The calibration process contains three fundamental concepts: camera model, distortion model and method of calibration. The camera model is a mathematical model that approximates the original projective transformation to the physical reality of the lenses. The mathematical model includes a series of parameters which include the correspondents to the model of distortion, which is in charge of correcting the systematic errors of the image. Finally, the calibration method proposes the method of estimation of the parameters of the mathematical modeling and optimization technique to employ. This Thesis is proposing the use of a pattern of two dimensional calibration that moves in the direction of the optical axis of the camera, thus offering three-dimensionality to the photographed scene. The pattern includes a large number of marks, which allows testing with different geometric configurations. Taking the projection model perspective (or pinhole) as a model of camera, tests are performed with three different models of distortion, the classical of distortion radial and tangential proposed by D.C. Brown, an approximation by Legendre polynomials and bicubic interpolation. From the combination of different geometric configurations and the most suitable distortion model, brings the establishment of a methodology for optimal calibration. To help the election, a study of the information obtained in the various tests and a purpose built test panel stereoscopic control is performed.

Decision boundary for discrete Bayesian network classifiers

Bayesian network classifiers are a powerful machine learning tool. In order to evaluate the expressive power of these models, we compute families of polynomials that sign-represent decision functions induced by Bayesian network classifiers. We prove that those families are linear combinations of products of Lagrange basis polynomials. In absence of V -structures in the predictor sub-graph, we are also able to prove that this family of polynomials does indeed characterize the specific classifier considered. We then use this representation to bound the number of decision functions representable by Bayesian network classifiers with a given structure.

Inhibition of granulocytic differentiation by mNotch1

Effective hematopoiesis requires the commitment of pluripotent and multipotent stem cells to distinct differentiation pathways, proliferation and maturation of cells in the various lineages, and preservation of pluripotent progenitors to provide continuous renewal of mature blood cells. While the importance of positive and negative cytokines in regulating proliferation and maturation of hematopoietic cells has been well documented, the factors and molecular processes involved in lineage commitment and self-renewal of multipotent progenitors have not yet been defined. In other developmental systems, cellular interactions mediated by members of the Notch gene family have been shown to influence cell fate determination by multipotent progenitors. We previously described the expression of the human Notch1 homolog, TAN-1, in immature hematopoietic precursors. We now demonstrate that constitutive expression of the activated intracellular domain of mouse Notch1 in 32D myeloid progenitors inhibits granulocytic differentiation and permits expansion of undifferentiated cells, findings consistent with the known function of Notch in other systems.

On the classification of binary shifts of finite commutant index

We provide a complete classification up to conjugacy of the binary shifts of finite commutant index on the hyperfinite II1, factor. There is a natural correspondence between the conjugacy classes of these shifts and polynomials over GF(2) satisfying a certain duality condition.

Oncogenic mutation in the Kit receptor tyrosine kinase alters substrate specificity and induces degradation of the protein tyrosine phosphatase SHP-1

Activating mutations in the Kit receptor tyrosine kinase have been identified in both rodent and human mast cell leukemia. One activating Kit mutation substitutes a valine for aspartic acid at codon 816 (D816V) and is frequently observed in human mastocytosis. Mutation at the equivalent position in the murine c-kit gene, involving a substitution of tyrosine for aspartic acid (D814Y), has been described in the mouse mastocytoma cell line P815. We have investigated the mechanism of oncogenic activation by this mutation. Expression of this mutant Kit receptor tyrosine kinase in a mast cell line led to the selective tyrosine phosphorylation of a 130-kDa protein and the degradation, through the ubiquitin-dependent proteolytic pathway, of a 65-kDa phosphoprotein. The 65-kDa protein was identified as the src homology domain 2 (SH2)-containing protein tyrosine phosphatase SHP-1, a negative regulator of signaling by Kit and other hematopoietic receptors, and the protein product of the murine motheaten locus. This mutation also altered the sites of receptor autophosphorylation and peptide substrate selectivity. Thus, this mutation activates the oncogenic potential of Kit by a novel mechanism involving an alteration in Kit substrate recognition and the degradation of SHP-1, an attenuator of the Kit signaling pathway.

The targeting pathway of Escherichia coli presecretory and integral membrane proteins is specified by the hydrophobicity of the targeting signal

Previous studies have demonstrated that presecretory proteins such as maltose binding protein (MBP) and outer membrane protein A (OmpA) are targeted to the Escherichia coli inner membrane by the molecular chaperone SecB, but that integral membrane proteins are targeted by the signal recognition particle (SRP). In vitro studies have suggested that trigger factor binds to a sequence near the N terminus of the mature region of OmpA and shunts the protein into the SecB pathway by blocking an interaction between SRP and the signal peptide. By contrast, we have found that the targeting pathway of a protein under physiological conditions is dictated by the composition of its targeting signal. Replacement of the MBP or OmpA signal peptide with the first transmembrane segment of AcrB abolished the dependence on SecB for transport and rerouted both proteins into the SRP targeting pathway. More modest alterations of the MBP signal peptide that simply increase its hydrophobicity also promoted SRP binding. Furthermore, we obtained evidence that SRP has a low affinity for typical signal peptides in vivo. These results imply that different classes of E. coli proteins are targeted by distinct pathways because bacterial SRP binds to a more restricted range of targeting signals than its eukaryotic counterpart.

Structural aspects of activation pathways of aspartic protease zymogens and viral 3C protease precursors

The three-dimensional structures of the inactive protein precursors (zymogens) of the serine, cysteine, aspartic, and metalloprotease classes of proteolytic enzymes are known. Comparisons of these structures with those of the mature, active proteases reveal that, in general, the preformed, active conformations of the residues involved in catalysis are rendered sterically inaccessible to substrates by the residues of the zymogens’ N-terminal extensions or prosegments. The prosegments interact in nonsubstrate-like fashions with the residues of the active sites in most of the cases. The gastric aspartic proteases have a well-characterized zymogen conversion pathway. Structures of human progastricsin, the inactive intermediate 2, and active human pepsin are known and have been used to define the conversion pathway. The structure of the zymogen precursor of plasmepsin II, the malarial aspartic protease, shows a new twist on the mode of inactivation used by the gastric zymogens. The prosegment of proplasmepsin disrupts the active conformation of the two catalytic aspartic acid residues by inducing a major reorientation of the two domains of the mature protease. The picornaviral 2A and 3C proteases have a chymotrypsin-like tertiary structure but with a cysteine nucleophile. These enzymes cleave themselves from the viral polyprotein in cis (intramolecular cleavage) and carry out trans cleavages of other scissile peptides important for the virus life cycle. Although the structure of the precursor viral polyprotein is unknown, it probably resembles the organization of the proenzymes of the bacterial serine proteases, subtilisin, and α-lytic protease. Cleavage of the prosegment is known to occur in cis for these precursor molecules.

cAMP-response element modulator tau is a positive regulator of testis angiotensin converting enzyme transcription.

Testis angiotensin-converting enzyme (ACE) is a unique form of ACE, only produced by male germ cells, and results from a testis-specific promoter found within the ACE gene. We have investigated the role of cAMP-response element modulator (CREM)tau in testis ACE transcription. In gel shift experiments, testes nuclear proteins retard an oligonucleotide containing the cAMP-response element (CRE) found at position -55 in the testis ACE promoter. Anti-CREM antibody supershifts this complex. Competitive gel shift shows that recombinant CREM tau protein and testis nuclear proteins have a similar specificity of binding to the tests ACE CRE. Functional analysis using in vitro transcription and transfection studies also demonstrate that CREM tau protein is a transcriptional activator of the testis ACE promoter. Western blot analysis identifies CREM tau protein in the protein-DNA complex formed between nuclear proteins and the testis ACE CRE motif. This analysis also identified other CREM isoforms in the gel-shifted complex, which are thought to be CREM tau 1/2, CREM alpha/beta, and S-CREM. These data indicate that CREM tau isoforms play an important role as a positive regulator in the tissue-specific expression of testis ACE.

Primordial emergence of the recombination activating gene 1 (RAG1): sequence of the complete shark gene indicates homology to microbial integrases.

The rearrangement of antibody and T-cell receptor gene segments is indispensable to the vertebrate immune response. All extant jawed vertebrates can rearrange these gene segments. This ability is conferred by the recombination activating genes I and II (RAG I and RAG II). To elucidate their origin and function, the cDNA encoding RAG I from a member of the most ancient class of extant gnathostomes, the Carcharhine sharks, was characterized. Homology domains identified within shark RAG I prompted sequence comparison analyses that suggested similarity of the RAG I and II genes, respectively, to the integrase family genes and integration host factor genes of the bacterial site-specific recombination system. Thus, the apparent explosive evolution (or "big bang") of the ancestral immune system may have been initiated by a transfer of microbial site-specific recombinases.

Do cyanobacteria swim using traveling surface waves?

Bacteria that swim without the benefit of flagella might do so by generating longitudinal or transverse surface waves. For example, swimming speeds of order 25 microns/s are expected for a spherical cell propagating longitudinal waves of 0.2 micron length, 0.02 micron amplitude, and 160 microns/s speed. This problem was solved earlier by mathematicians who were interested in the locomotion of ciliates and who considered the undulations of the envelope swept out by ciliary tips. A new solution is given for spheres propagating sinusoidal waveforms rather than Legendre polynomials. The earlier work is reviewed and possible experimental tests are suggested.

Targeted disruption of the mouse beta1-adrenergic receptor gene: developmental and cardiovascular effects.

At least three distinct beta-adrenergic receptor (beta-AR) subtypes exist in mammals. These receptors modulate a wide variety of processes, from development and behavior, to cardiac function, metabolism, and smooth muscle tone. To understand the roles that individual beta-AR subtypes play in these processes, we have used the technique of gene targeting to create homozygous beta 1-AR null mutants (beta 1-AR -/-) in mice. The majority of beta 1-AR -/- mice die prenatally, and the penetrance of lethality shows strain dependence. Beta l-AR -/- mice that do survive to adulthood appear normal, but lack the chronotropic and inotropic responses seen in wild-type mice when beta-AR agonists such as isoproterenol are administered. Moreover, this lack of responsiveness is accompanied by markedly reduced stimulation of adenylate cyclase in cardiac membranes from beta 1-AR -/- mice. These findings occur despite persistent cardiac beta 2-AR expression, demonstrating the importance of beta 1-ARs for proper mouse development and cardiac function, while highlighting functional differences between beta-AR subtypes.

Steel mutant mice are deficient in hippocampal learning but not long-term potentiation.

Mice carrying mutations in either the dominant white-spotting (W) or Steel (Sl) loci exhibit deficits in melanogenesis, gametogenesis, and hematopoiesis. W encodes the Kit receptor tyrosine kinase, while Sl encodes the Kit ligand, Steel factor, and the receptor-ligand pair are contiguously expressed at anatomical sites expected from the phenotypes of W and Sl mice. The c-kit and Steel genes are also both highly expressed in the adult murine hippocampus: Steel is expressed in dentate gyrus neurons whose mossy fiber axons synapse with the c-kit expressing CA3 pyramidal neurons. We report here that Sl/Sld mutant mice have a specific deficit in spatial learning. These mutant mice are also deficient in baseline synaptic transmission between the dentate gyrus and CA3 but show normal long-term potentiation in this pathway. These observations demonstrate a role for Steel factor/Kit signaling in the adult nervous system and suggest that a severe deficit in hippocampal-dependent learning need not be associated with reduced hippocampal long-term potentiation.