Side-channel attacks are a serious threat to securitycritical software. To mitigate remote timing and cachetiming attacks, many ubiquitous cryptography software libraries feature constant-time implementations of cryptographic primitives. In this work, we disclose a vulnerability in OpenSSL 1.0.1u that recovers ECDSA private keys for the standardized elliptic curve P-256 despite the library feat...

Anthropic solutions to the cosmological constant problem require seemingly unnatural scalar field potentials with a very small slope or domain walls (branes) with a very small coupling to a four-form field. Here we introduce a class of models in which the smallness of the corresponding parameters can be attributed to a spontaneously broken discrete symmetry. We also demonstrate the equivalence ...

The effects of stoichiometry on the atomic structure and the related mechanical properties of boron carbide (B(4)C) have been studied using density functional theory and quantum molecular dynamics simulations. Computational cells of boron carbide containing up to 960 atoms and spanning compositions ranging from 6.7% to 26.7% carbon were used to determine the effects of stoichiometry on the ato...

‎Some functional inequalities‎ ‎in variable exponent Lebesgue spaces are presented‎. ‎The bi-weighted modular inequality with variable exponent $p(.)$ for the Hardy operator restricted to non‎- ‎increasing function which is‎‎$$‎‎int_0^infty (frac{1}{x}int_0^x f(t)dt)^{p(x)}v(x)dxleq‎‎Cint_0^infty f(x)^{p(x)}u(x)dx‎,‎$$‎ ‎is studied‎. ‎We show that the exponent $p(.)$ for which these modular ine...

Ecological stoichiometry suggests that plant Nitrogen (N)-to-Phosphorus (P) ratios respond to changes in both soil N:P stoichiometry and soil N and P availability. Thus we would expect that soil and plant N:P ratios be significantly related along natural gradients of soil development such as those associated with primary ecological successions. Here we explicitly search for linkages between pla...

It is now widely accepted that mathematical models are needed to predict the behaviour of complex metabolic networks in the cell, in order to have a rational basis for planning metabolic engineering with biotechnological or therapeutical purposes. The great complexity of metabolic networks makes it crucial to simplify them for analysis, but without violating key principles of stoichiometry or t...