Certified compilation for cryptography: Extended x86 instructions and constant-time verification

We present a new tool for the generation and verification of high-assurance high-speed machine-level cryptography implementations: a certified C compiler supporting instruction extensions to the x86. We demonstrate the practical applicability of our tool by incorporating it into supercop: a toolkit for measuring the performance of cryptographic software, which includes over 2000 different implementations. We show i. that the coverage of x86 implementations in supercop increases significantly due to the added support of instruction extensions via intrinsics and ii. that the obtained verifiably correct implementations are much closer in performance to unverified ones. We extend our compiler with a specialized type system that acts at pre-assembly level; this is the first constant-time verifier that can deal with extended instruction sets. We confirm that, by using instruction extensions, the performance penalty for verifiably constant-time code can be greatly reduced.This work is financed by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within the project PTDC/CCI-INF/31698/2017, and by the Norte Portugal Regional Operational Programme (NORTE 2020) under the Portugal 2020 Partnership Agreement, through the European Regional Development Fund (ERDF) and also by national funds through the FCT, within project NORTE-01-0145-FEDER-028550 (REASSURE)

Tightly Secure Ring-LWE Based Key Encapsulation with Short Ciphertexts

We provide a tight security proof for an IND-CCA Ring-LWE based Key Encapsulation Mechanism that is derived from a generic construction of Dent (IMA Cryptography and Coding, 2003). Such a tight reduction is not known for the generic construction. The resulting scheme has shorter ciphertexts than can be achieved with other generic constructions of Dent or by using the well-known Fujisaki-Okamoto constructions (PKC 1999, Crypto 1999). Our tight security proof is obtained by reducing to the security of the underlying Ring-LWE problem, avoiding an intermediate reduction to a CPA-secure encryption scheme. The proof technique maybe of interest for other schemes based on LWE and Ring-LWE

(One) Failure Is Not an Option:Bootstrapping the Search for Failures in Lattice-Based Encryption Schemes

Lattice-based encryption schemes are often subject to the possibility of decryption failures, in which valid encryptions are decrypted incorrectly. Such failures, in large number, leak information about the secret key, enabling an attack strategy alternative to pure lattice reduction. Extending the failure boosting\u27\u27 technique of D\u27Anvers et al. in PKC 2019, we propose an approach that we call directional failure boosting\u27\u27 that uses previously found failing ciphertexts\u27\u27 to accelerate the search for new ones. We analyse in detail the case where the lattice is defined over polynomial ring modules quotiented by and demonstrate it on a simple Mod-LWE-based scheme parametrized à la Kyber768/Saber. We show that, using our technique, for a given secret key (single-target setting), the cost of searching for additional failing ciphertexts after one or more have already been found, can be sped up dramatically. We thus demonstrate that, in this single-target model, these schemes should be designed so that it is hard to even obtain one decryption failure. Besides, in a wider security model where there are many target secret keys (multi-target setting), our attack greatly improves over the state of the art

Development of outcome measures for autoimmune dermatoses

Validated outcome measures are essential in monitoring disease severity. Specifically in dermatology, which relies heavily on the clinical evaluation of the patient and not on laboratory values and radiographic tests, outcome measures help standardize patient care. Validated cutaneous scoring systems, much like standardized laboratory values, facilitate disease management and follow therapeutic response. Several cutaneous autoimmune dermatoses, specifically cutaneous lupus erythematosus (CLE), dermatomyositis (DM), and pemphigus vulgaris (PV), lack such outcome measures. As a result, evaluation of disease severity and patients’ response to therapy over time is less reliable. Ultimately, patient care is compromised. These diseases, which are often chronic and relapsing and remitting, are also often refractory to treatment. Without outcome measures, new therapies cannot be systematically assessed in these diseases. Clinical trials that are completed without standardized outcome measures produce less reliable results. Therefore, the development of validated outcome measures in these autoimmune dermatoses is critical. However, the process of developing these tools is as important, if not more so, than their availability. This review examines the steps that should be considered when developing outcome measures, while further examining their importance in clinical practice and trials. Finally, this review more closely looks at CLE, DM, and PV and addresses the recent and ongoing progress that has been made in the development of their outcome measures

Cell Encapsulation in Sub-mm Sized Gel Modules Using Replica Molding

For many types of cells, behavior in two-dimensional (2D) culture differs from that in three-dimensional (3D) culture. Among biologists, 2D culture on treated plastic surfaces is currently the most popular method for cell culture. In 3D, no analogous standard method—one that is similarly convenient, flexible, and reproducible—exists. This paper describes a soft-lithographic method to encapsulate cells in 3D gel objects (modules) in a variety of simple shapes (cylinders, crosses, rectangular prisms) with lateral dimensions between 40 and 1000 μm, cell densities of 105 – 108 cells/cm3, and total volumes between 1×10−7 and 8×10−4 cm3. By varying (i) the initial density of cells at seeding, and (ii) the dimensions of the modules, the number of cells per module ranged from 1 to 2500 cells. Modules were formed from a range of standard biopolymers, including collagen, Matrigel™, and agarose, without the complex equipment often used in encapsulation. The small dimensions of the modules allowed rapid transport of nutrients by diffusion to cells at any location in the module, and therefore allowed generation of modules with cell densities near to those of dense tissues (108 – 109 cells/cm3). This modular method is based on soft lithography and requires little special equipment; the method is therefore accessible, flexible, and well suited to (i) understanding the behavior of cells in 3D environments at high densities of cells, as in dense tissues, and (ii) developing applications in tissue engineering

Polaron pair mediated triplet generation in polymer/fullerene blends

Electron spin is a key consideration for the function of organic semiconductors in light-emitting diodes and solar cells, as well as spintronic applications relying on organic magnetoresistance. A mechanism for triplet excited state generation in such systems is by recombination of electron-hole pairs. However, the exact charge recombination mechanism, whether geminate or nongeminate and whether it involves spin-state mixing is not well understood. In this work, the dynamics of free charge separation competing with recombination to polymer triplet states is studied in two closely related polymer-fullerene blends with differing polymer fluorination and photovoltaic performance. Using time-resolved laser spectroscopic techniques and quantum chemical calculations, we show that lower charge separation in the fluorinated system is associated with the formation of bound electron-hole pairs, which undergo spin-state mixing on the nanosecond timescale and subsequent geminate recombination to triplet excitons. We find that these bound electron-hole pairs can be dissociated by electric fields

Position dependent mismatch discrimination on DNA microarrays – experiments and model

<p>Abstract</p> <p>Background</p> <p>The propensity of oligonucleotide strands to form stable duplexes with complementary sequences is fundamental to a variety of biological and biotechnological processes as various as microRNA signalling, microarray hybridization and PCR. Yet our understanding of oligonucleotide hybridization, in particular in presence of surfaces, is rather limited. Here we use oligonucleotide microarrays made in-house by optically controlled DNA synthesis to produce probe sets comprising all possible single base mismatches and base bulges for each of 20 sequence motifs under study.</p> <p>Results</p> <p>We observe that mismatch discrimination is mostly determined by the defect position (relative to the duplex ends) as well as by the sequence context. We investigate the thermodynamics of the oligonucleotide duplexes on the basis of double-ended molecular zipper. Theoretical predictions of defect positional influence as well as long range sequence influence agree well with the experimental results.</p> <p>Conclusion</p> <p>Molecular zipping at thermodynamic equilibrium explains the binding affinity of mismatched DNA duplexes on microarrays well. The position dependent nearest neighbor model (PDNN) can be inferred from it. Quantitative understanding of microarray experiments from first principles is in reach.</p