In this paper, we study how the algebraic attack on the HFE multivariate public key cryptosystem works if we build an HFE cryptosystem on a finite field whose characteristic is not two. Using some very basic algebraic geometry we argue that when the characteristic is not two the algebraic attack should not be polynomial in the range of the parameters which are used in practical applications. We further support our claims with extensive experiments using the Magma implementation of F_4, which is currently the best publicly available implementation of the Gröbner basis algorithm. We present a new variant of the HFE cryptosystems, where we project the public key of HFE to a space of one dimension lower. This protects the system from the Kipnis-Shamir attack and makes the decryption process avoid multiple candidates for the plaintext. We propose an example for a practical application on GF(11) and suggest a test challenge on GF(7).

No abstract uploaded!

We describe the potential functions for N= 4B supersymmetric quantum mechanics with D (2, 1; ) symmetry.

We study the stability and oscillation of traveling fronts in a three-component, advection-reaction biodegradation model. The three components are pollutant, nutrient, and bacteria concentrations. Under an explicit condition on the biomass growth and decay coefficients, we derive reduced, two-component, semilinear hyperbolic models through a relaxation procedure, during which biomass is slaved to pollutant and nutrient concentration variables. The reduced two-component models resemble the Broadwell model of the discrete velocity gas. The traveling fronts of the reduced system are explicit and are expressed in terms of hyperbolic tangent function in the nutrient-deficient regime. We perform energy estimates to prove the asymptotic stability of these fronts under explicit conditions on the coefficients in the system. In the small damping limit, we carry out Wentzel--Kramers--Brillouin (WKB) analysis on front

For projective conifold transitions between Calabi-Yau threefolds X and Y, with X close to Y in the moduli, we show that the combined information provided by the A model (Gromov--Witten theory in all genera) and B model (variation of Hodge structures) on X, linked along the vanishing cycles, determines the corresponding combined information on Y. Similar result holds in the reverse direction when linked with the exceptional curves.