Implementing fully homomorphic encryption schemes in FPGA-based systems

LLas nuevas tecnologías orientadas a la nube, el internet de las cosas o las tendencias "as a service" se basan en el almacenamiento y procesamiento de datos en servidores remotos. Para garantizar la seguridad en la comunicación de dichos datos al servidor remoto, y en el manejo de los mismos en dicho servidor, se hace uso de diferentes esquemas criptográficos. Tradicionalmente, dichos sistemas criptográficos se centran en encriptar los datos mientras no sea necesario procesarlos (es decir, durante la comunicación y almacenamiento de los mismos). Sin embargo, una vez es necesario procesar dichos datos encriptados (en el servidor remoto), es necesario desencriptarlos, momento en el cual un intruso en dicho servidor podría a acceder a datos sensibles de usuarios del mismo. Es más, este enfoque tradicional necesita que el servidor sea capaz de desencriptar dichos datos, teniendo que confiar en la integridad de dicho servidor de no comprometer los datos. Como posible solución a estos problemas, surgen los esquemas de encriptación homomórficos completos. Un esquema homomórfico completo no requiere desencriptar los datos para operar con ellos, sino que es capaz de realizar las operaciones sobre los datos encriptados, manteniendo un homomorfismo entre el mensaje cifrado y el mensaje plano. De esta manera, cualquier intruso en el sistema no podría robar más que textos cifrados, siendo imposible un robo de los datos sensibles sin un robo de las claves de cifrado. Sin embargo, los esquemas de encriptación homomórfica son, actualmente, drás-ticamente lentos comparados con otros esquemas de encriptación clásicos. Una op¬eración en el anillo del texto plano puede conllevar numerosas operaciones en el anillo del texto encriptado. Por esta razón, están surgiendo distintos planteamientos sobre como acelerar estos esquemas para un uso práctico. Una de las propuestas para acelerar los esquemas homomórficos consiste en el uso de High-Performance Computing (HPC) usando FPGAs (Field Programmable Gate Arrays). Una FPGA es un dispositivo semiconductor que contiene bloques de lógica cuya interconexión y funcionalidad puede ser reprogramada. Al compilar para FPGAs, se genera un circuito hardware específico para el algorithmo proporcionado, en lugar de hacer uso de instrucciones en una máquina universal, lo que supone una gran ventaja con respecto a CPUs. Las FPGAs tienen, por tanto, claras difrencias con respecto a CPUs: -Arquitectura en pipeline: permite la obtención de outputs sucesivos en tiempo constante -Posibilidad de tener multiples pipes para computación concurrente/paralela. Así, en este proyecto: -Se realizan diferentes implementaciones de esquemas homomórficos en sistemas basados en FPGAs. -Se analizan y estudian las ventajas y desventajas de los esquemas criptográficos en sistemas basados en FPGAs, comparando con proyectos relacionados. -Se comparan las implementaciones con trabajos relacionados New cloud-based technologies, the internet of things or "as a service" trends are based in data storage and processing in a remote server. In order to guarantee a secure communication and handling of data, cryptographic schemes are used. Tradi¬tionally, these cryptographic schemes focus on guaranteeing the security of data while storing and transferring it, not while operating with it. Therefore, once the server has to operate with that encrypted data, it first decrypts it, exposing unencrypted data to intruders in the server. Moreover, the whole traditional scheme is based on the assumption the server is reliable, giving it enough credentials to decipher data to process it. As a possible solution for this issues, fully homomorphic encryption(FHE) schemes is introduced. A fully homomorphic scheme does not require data decryption to operate, but rather operates over the cyphertext ring, keeping an homomorphism between the cyphertext ring and the plaintext ring. As a result, an outsider could only obtain encrypted data, making it impossible to retrieve the actual sensitive data without its associated cypher keys. However, using homomorphic encryption(HE) schemes impacts performance dras-tically, slowing it down. One operation in the plaintext space can lead to several operations in the cyphertext space. Because of this, different approaches address the problem of speeding up these schemes in order to become practical. One of these approaches consists in the use of High-Performance Computing (HPC) using FPGAs (Field Programmable Gate Array). An FPGA is an integrated circuit designed to be configured by a customer or a designer after manufacturing - hence "field-programmable". Compiling into FPGA means generating a circuit (hardware) specific for that algorithm, instead of having an universal machine and generating a set of machine instructions. FPGAs have, thus, clear differences compared to CPUs: - Pipeline architecture, which allows obtaining successive outputs in constant time. -Possibility of having multiple pipes for concurrent/parallel computation. Thereby, In this project: -We present different implementations of FHE schemes in FPGA-based systems. -We analyse and study advantages and drawbacks of the implemented FHE schemes, compared to related work.

Fresnel-based modular solar fields for performance/cost optimization in solar thermal power plants: A comparison with parabolic trough collectors.

Linear Fresnel collectors are identified as a technology that should play a main role in order to reduce cost of Concentrating Solar Power. An optical and thermal analysis of the different blocks of the solar power plant is carried out, where Fresnel arrays are compared with the most extended linear technology: parabolic trough collectors. It is demonstrated that the optical performance of Fresnel array is very close to that of PTC, with similar values of maximum flux intensities. In addition, if the heat carrier fluid flows in series by the tubes of the receiver, relatively high thermal efficiencies are achieved. Thus, an annual solar to electricity efficiency of 19% is expected, which is similar to the state of the art in PTCs; this is done with a reduction of costs, thanks to lighter structures, that drives to an estimation of LCOE of around 6.5 c€/kWh.

Two Components of Actin-based Retrograde Flow in Sea Urchin Coelomocytes

Sea urchin coelomocytes represent an excellent experimental model system for studying retrograde flow. Their extreme flatness allows for excellent microscopic visualization. Their discoid shape provides a radially symmetric geometry, which simplifies analysis of the flow pattern. Finally, the nonmotile nature of the cells allows for the retrograde flow to be analyzed in the absence of cell translocation. In this study we have begun an analysis of the retrograde flow mechanism by characterizing its kinetic and structural properties. The supramolecular organization of actin and myosin II was investigated using light and electron microscopic methods. Light microscopic immunolocalization was performed with anti-actin and anti-sea urchin egg myosin II antibodies, whereas transmission electron microscopy was performed on platinum replicas of critical point-dried and rotary-shadowed cytoskeletons. Coelomocytes contain a dense cortical actin network, which feeds into an extensive array of radial bundles in the interior. These actin bundles terminate in a perinuclear region, which contains a ring of myosin II bipolar minifilaments. Retrograde flow was arrested either by interfering with actin polymerization or by inhibiting myosin II function, but the pathway by which the flow was blocked was different for the two kinds of inhibitory treatments. Inhibition of actin polymerization with cytochalasin D caused the actin cytoskeleton to separate from the cell margin and undergo a finite retrograde retraction. In contrast, inhibition of myosin II function either with the wide-spectrum protein kinase inhibitor staurosporine or the myosin light chain kinase–specific inhibitor KT5926 stopped flow in the cell center, whereas normal retrograde flow continued at the cell periphery. These differential results suggest that the mechanism of retrograde flow has two, spatially segregated components. We propose a “push–pull” mechanism in which actin polymerization drives flow at the cell periphery, whereas myosin II provides the tension on the actin cytoskeleton necessary for flow in the cell interior.

High-sensitivity array analysis of gene expression for the early detection of disseminated breast tumor cells in peripheral blood

Early detection is an effective means of reducing cancer mortality. Here, we describe a highly sensitive high-throughput screen that can identify panels of markers for the early detection of solid tumor cells disseminated in peripheral blood. The method is a two-step combination of differential display and high-sensitivity cDNA arrays. In a primary screen, differential display identified 170 candidate marker genes differentially expressed between breast tumor cells and normal breast epithelial cells. In a secondary screen, high-sensitivity arrays assessed expression levels of these genes in 48 blood samples, 22 from healthy volunteers and 26 from breast cancer patients. Cluster analysis identified a group of 12 genes that were elevated in the blood of cancer patients. Permutation analysis of individual genes defined five core genes (P ≤ 0.05, permax test). As a group, the 12 genes generally distinguished accurately between healthy volunteers and patients with breast cancer. Mean expression levels of the 12 genes were elevated in 77% (10 of 13) untreated invasive cancer patients, whereas cluster analysis correctly classified volunteers and patients (P = 0.0022, Fisher's exact test). Quantitative real-time PCR confirmed array results and indicated that the sensitivity of the assay (1:2 × 108 transcripts) was sufficient to detect disseminated solid tumor cells in blood. Expression-based blood assays developed with the screening approach described here have the potential to detect and classify solid tumor cells originating from virtually any primary site in the body.

A novel application of gene arrays: Escherichia coli array provides insight into the biology of the obligate endosymbiont of tsetse flies

Symbiotic associations with microorganisms are pivotal in many insects. Yet, the functional roles of obligate symbionts have been difficult to study because it has not been possible to cultivate these organisms in vitro. The medically important tsetse fly (Diptera: Glossinidae) relies on its obligate endosymbiont, Wigglesworthia glossinidia, a member of the Enterobacteriaceae, closely related to Escherichia coli, for fertility and possibly nutrition. We show here that the intracellular Wigglesworthia has a reduced genome size smaller than 770 kb. In an attempt to understand the composition of its genome, we used the gene arrays developed for E. coli. We were able to identify 650 orthologous genes in Wigglesworthia corresponding to ≈85% of its genome. The arrays were also applied for expression analysis using Wigglesworthia cDNA and 61 gene products were detected, presumably coding for some of its most abundant products. Overall, genes involved in cell processes, DNA replication, transcription, and translation were found largely retained in the small genome of Wigglesworthia. In addition, genes coding for transport proteins, chaperones, biosynthesis of cofactors, and some amino acids were found to comprise a significant portion, suggesting an important role for these proteins in its symbiotic life. Based on its expression profile, we predict that Wigglesworthia may be a facultative anaerobic organism that utilizes ammonia as its major source of nitrogen. We present an application of E. coli gene arrays to obtain broad genome information for a closely related organism in the absence of complete genome sequence data.

Parallel human genome analysis: microarray-based expression monitoring of 1000 genes.

Microarrays containing 1046 human cDNAs of unknown sequence were printed on glass with high-speed robotics. These 1.0-cm2 DNA "chips" were used to quantitatively monitor differential expression of the cognate human genes using a highly sensitive two-color hybridization assay. Array elements that displayed differential expression patterns under given experimental conditions were characterized by sequencing. The identification of known and novel heat shock and phorbol ester-regulated genes in human T cells demonstrates the sensitivity of the assay. Parallel gene analysis with microarrays provides a rapid and efficient method for large-scale human gene discovery.

A chemically diverse conducting polymer-based "electronic nose".

We describe a method for generating a variety of chemically diverse broadly responsive low-power vapor sensors. The chemical polymerization of pyrrole in the presence of plasticizers has yielded conducting organic polymer films whose resistivities are sensitive to the identity and concentration of various vapors in air. An array of such sensing elements produced a chemically reversible diagnostic pattern of electrical resistance changes upon exposure to different odorants. Principal component analysis has demonstrated that such sensors can identify and quantify different airborne organic solvents and can yield information on the components of gas mixtures.

Janus: an FPGA-based system for high-performance scientific computing

This paper describes JANUS, a modular massively parallel and reconfigurable FPGA-based computing system. Each JANUS module has a computational core and a host. The computational core is a 4x4 array of FPGA-based processing elements with nearest-neighbor data links. Processors are also directly connected to an I/O node attached to the JANUS host, a conventional PC. JANUS is tailored for, but not limited to, the requirements of a class of hard scientific applications characterized by regular code structure, unconventional data manipulation instructions and not too large data-base size. We discuss the architecture of this configurable machine, and focus on its use on Monte Carlo simulations of statistical mechanics. On this class of application JANUS achieves impressive performances: in some cases one JANUS processing element outperfoms high-end PCs by a factor ≈1000. We also discuss the role of JANUS on other classes of scientific applications.

A Meta-Analytic Review of Mindfulness-Based Interventions on Symptom Reduction: A Critique and Guide for Future Investigation.

Over the past decade, mindfulness practices have been used with increasing frequency as therapeutic components within cognitive behavioral treatment regimens. As is standard practice, prescriptive uses of mindfulness intervention are incorporated to improve end-state functioning by ameliorating problematic symptoms and conditions. Common change-targets include the control of cognitive and emotional content for purposes of enhancing psychological self-regulation and physical well-being. The term mindfulness applies to a heterogeneous range of practices, methods, and techniques. While there is no singular agreed upon definition for mindfulness, as a process concept, the term connotes an immediate, non-thetic access to events, wherein each occasioning event is experienced in toto within the broader contextual event-field, and distinct from intervening conceptual themes being noticed. Training in mindfulness practices may be conducted using individual, group, or small class formats. The current paper provides a meta-analytic review of 44 treatment outcome studies (extracted 1982 through 2006), which examines the clinical utility of mindfulness as the primary therapeutic approach. Results indicated that average effect sizes for mindfulness based interventions fell within the medium range for construct category variables examined (d = .56). These findings suggest that mindfulness training is a cost-effective treatment for a wide array of contemporary psychological problems and diagnoses, in addition to fostering positive psychology attributes such as quality and satisfaction with life. A critique of the research and recommendations for future research, including a need to examine the role of mindfulness as a tool for cultivating increased psychological acceptance and life satisfaction, is presented.

The evaluation of the spatial and temporal stability of sugarcane farm performance based on yield and commercial cane sugar

In broader catchment scale investigations, there is a need to understand and ultimately exploit the spatial variation of agricultural crops for an improved economic return. In many instances, this spatial variation is temporally unstable and may be different for various crop attributes and crop species. In the Australian sugar industry, the opportunity arose to evaluate the performance of 231 farms in the Tully Mill area in far north Queensland using production information on cane yield (t/ha) and CCS ( a fresh weight measure of sucrose content in the cane) accumulated over a 12-year period. Such an arrangement of data can be expressed as a 3-way array where a farm x attribute x year matrix can be evaluated and interactions considered. Two multivariate techniques, the 3-way mixture method of clustering and the 3-mode principal component analysis, were employed to identify meaningful relationships between farms that performed similarly for both cane yield and CCS. In this context, farm has a spatial component and the aim of this analysis was to determine if systematic patterns in farm performance expressed by cane yield and CCS persisted over time. There was no spatial relationship between cane yield and CCS. However, the analysis revealed that the relationship between farms was remarkably stable from one year to the next for both attributes and there was some spatial aggregation of farm performance in parts of the mill area. This finding is important, since temporally consistent spatial variation may be exploited to improve regional production. Alternatively, the putative causes of the spatial variation may be explored to enhance the understanding of sugarcane production in the wet tropics of Australia.

A self-similar array model of single-walled carbon nanotubes

To describe single-walled carbon nanotube (SWNT) arrays, we propose a self-similar array model. For isolated SWNT bundles, the self-similar array model is consistent with the classical triangular array model; for SWNT bundle arrays, it can present hierarchy structures and specify different array configurations. Based on this self-similar array model, we calculated the energetics of SWNT arrays, investigated the driving force for the formation of macroscopic SWNT arrays, and briefly discussed the hierarchy structures in real macroscopic SWNT arrays. (c) 2005 American Institute of Physics.

Expression-based strategies for discovery of genes involved in testis and ovary development

In recent years, strategies for gene identification based on differential gene expression have become increasingly popular, due in part to the development of microarray technology. These strategies are particularly well suited to the identification of genes involved in sex determination and gonadal development, which unlike the development of other organ systems, proceeds along two very different alternative courses, depending on the sex of the embryo. We have used a high-throughput, array-based expression screen to identify several genes expressed sex-specifically in developing mouse gonads. One of these, vanin 1, appears to play a role in mediating migration of mesonephric cells into the male genital ridge. Progress in characterizing other genes arising from the screen is discussed.

Fibre grating time delay element for phased array antennas

The authors have demonstrated an optical fibre grating based delay line which produces time delays in increments as small as 31 ps. The device could provide a true time delay component for a phased array antenna

The application of fibre Bragg grating networks as strain sensors and as phased array antenna true time delay elements

The fabrication of in-fibre Bragg gratings, and the application of arrays of such gratings as strain sensors and as true time delay elements for the control of phased array antennas is reported. Chirped period Bragg gratings were produced using the fibre deformation fabrication technique, with chirps of between 2.9nm and 17.3nm achieved. Arrays of 5mm and 2mm long uniform period Bragg gratings were fabricated using the inscription method, for use as true time delay elements,dissimilar wavefronts and their spectral characteristics recorded. The uniform period grating arrays were used to create minimum time delays of 9.09ps, 19.02ps and 31ps; making them suitable for controlling phased array antennas operating at RF frequencies of up to 3GHz, with 10° phase resolution. Four 4mm long chirped gratings were produced using the dissimilar wavefronts fabrication method, having chirps of 7nm, 12nm, 20nm and 30nm, and were used to create time delays of between 0.3ps and 59ps. Hence they are suitable for controlling phased array antennas at RF frequencies of up to 48GHz. The application of in fibre Bragg gratings as strain sensors within smart structure materials was investigated, with their sensitivity to applied strain and compression measured for both embedded and surface mounted uniform period and fibre Fabry-Perot filter gratings. A fibre Bragg grating sensor demultiplexing scheme based on a liquid crystal filled Fabry-Perot etalon tuneable transmission filter was proposed, successfully constructed and fully characterised. Three characteristics of the LCFP etalon were found to pose operational limitations to its application in a Bragg grating sensor system; most significantly, the resonance peak wavelength was highly (-2,77nm/°C) temperature dependent. Several methods for minimising this temperature sensitivity were investigated, but enjoyed only limited success. It was therefore concluded that this type (E7 filled) of LCFP etalon is unsuitable for use as a Bragg grating sensor demultiplexing element.

Poly (D,L-Lactide) based microspheres for pulmonary delivery of proteins

Initial work focused on the preparation, optimisation and characterisation of poly (D,L-lactide) (PLA) microspheres with the aim of optimising their formulation based on minimizing the particle size into the range suitable for pulmonary delivery to alveoli. In order to produce dry powders and to enhance their long-term physico-chemical stability, microspheres were prepared as a dry powder via freeze-drying. Optimisation studies showed that using appropriate concentrations of polymer 3% (w/v) in organic phase and emulsifier 10% (w/v) in external aqueous phase, the double solvent evaporation method produced high protein loading microspheres (72 ± 0.5%) with an appropriate particle size for pulmonary drug delivery. Combined use of trehalose and leucine as cyroprotectants (6% and 1% respectively, w/v) produced freeze-dried powders with the best aerosolisation profile among those tested. Although the freeze-dried PLA microsphere powders were not particularly respirable in dry powder inhalation, nebulisation of the rehydrated powders using an ultrasonic nebuliser resulted in improved aerosilisation performance compared to the air-jet nebuliser. When tested in vitro using a macrophage cell line, the PLA microspheres system exhibited a low cytotoxicity and the microspheres induced phagocytic activity in macrophages. However, interestingly, the addition of an immunomodulator to the microsphere formulations (4%, w/w of polymer) reduced this phagocytic activity and macrophage activation compared to microspheres formulated using PLA alone. This suggested that the addition of trehalose dibehenate may not enhance the ability of these microspheres to be used as vaccine delivery systems.