Practical software hardening schemes are heuristic and are not proven to be secure. One technique to enhance security is robust combiners. An algorithm C is a robust combiner for speci cation S, e.g., privacy, if for any two implementations X and Y , of a cryptographic scheme, the combined scheme C(X, Y ) satis es S provided either X or Y satisfy S. We present the rst robust combiner for softwa...

The beam hardening effect is one of the major artifacts of X-ray computed tomography. It not only complicates medical inspection and material analysis, but also influences the accuracy and repeatability of dimensional measurements. Therefore, many efforts have been devoted to develop beam hardening correction methods since the early 1970s. In practice, the combination of hardware filters (pre-f...

Hysteretic and nonlinear dielectric behaviour in ferroelectric ceramics has been of interest since 1950s, when these materials found application in various electronic devices. Presently, these phenomena concern with important areas of science, technology and engineering. In particular, nonlinearity and hysteresis are the key factors in performance, precision and accuracy of modern devices. Many...

Using molecular dynamics simulations of a generic model, we observe strain hardening in highly cross-linked polymer glasses under tensile deformation. We show that formation of microvoids, without bond breaking, constitutes the microscopic origins of strain hardening. A well-defined functional form is observed for the void size distribution that is consistent with voids in dense equilibrium Len...

Observations by the Ramaty High Energy Solar Spectroscopic Imager (RHESSI) are used to quantitatively study the hard X-ray evolution in 5 large solar flares selected for spectral hardening in the course of the event. The X-ray bremsstrahlung emission from non-thermal electrons is characterized by two spectroscopically distinct phases: impulsive and gradual. The impulsive phase usually consists ...

We analyze the stability of homogeneous simple tensile/compressive deformations of an isotropic heat-conducting thermoviscoplastic bar by studying the growth of infinitesimal perturbations superimposed upon a homogeneous deformation. The smallest axial strain at which the superimposed perturbation has a positive initial growth rate is called the instability strain. Two criteria are used to dete...

The hardening hypothesis has intuitive and common sense appeal: in jurisdictions that have implemented evidence-based tobacco control policies, the smokers who have a relatively easy time quitting will quit, and as the future unfolds there will be an increasing proportion of remaining smokers who cannot quit and are more resistant to quitting than smokers in the past. In this context, ‘hardenin...

In this work we introduce a cost-aware methodology for selective hardening of combinational logic cells, which provides a list of the most effective candidates for hardening. Two heuristics are proposed in order to define when selective hardening becomes unfeasible. The methodology and the heuristics are applied to a set of benchmark circuits using costs extracted from an actual standard cell l...

This document presents TLS and how to make it secure enough as of 2014 Spring. Of course all the information given here will rot with time. Protocols known as secure will be cracked and will be replaced with better versions. Fortunately we will see that there are ways to assess the current security of your setup, but this explains why you may have to read further from this document to get the u...

The goal of this research is to study the anisotropic material behavior during forming processes, represented by both complex yield loci and kinematic-isotropic hardening models. A first part of this paper describes the main concepts of the ‘Stress-strain interpolation’ model that has been implemented in the non-linear finite element code Lagamine. This model consists of a local description of ...