This paper discusses two encryption schemes to fix the Square scheme. Square+ uses the Plus modification of appending randomly chosen polynomials. Double-Layer Square uses a construction similar to some signature schemes, splitting the variables into two layers, one of which depends on the other.

In this paper, we prove a closed formula for the degree of regularity of the family of HFE- (HFE Minus) multivariate public key cryptosystems over a finite field of size q. The degree of regularity of the polynomial system derived from an HFE- system is less than or equal to \begin{eqnarray*} \frac{(q-1)(\lfloor \log_q(D-1)\rfloor +a)}2 +2 & & \text{if is even and is odd,} \\ \frac{(q-1)(\lfloor \log_q(D-1)\rfloor+a+1)}2 +2 & & \text{otherwise.} \end{eqnarray*} Here q is the base field size, D the degree of the HFE polynomial, r=\lfloor \log_q(D-1)\rfloor +1 and a is the number of removed equations (Minus number). This allows us to present an estimate of the complexity of breaking the HFE Challenge 2: \begin{itemize} \item the complexity to break the HFE Challenge 2 directly using algebraic solvers is about 2^{96}. \end{itemize}

No abstract uploaded!

A reformulation of the planetary geostrophic equations (PGEs) with the inviscid balance equation is proposed and the existence of global weak solutions is established, provided that the mechanical force satisfies an integral constraint. There is only one prognostic equation for the temperature field, and the velocity field is statically determined by the planetary geostrophic balance combined with the incompressibility condition. Furthermore, the velocity profile can be accurately represented as a function of the temperature gradient. In particular, the vertical velocity depends only on the first-order derivative of the temperature. As a result, the bound for the L ∞ (0, t 1 ; L 2 ) ∩ L 2 (0, t 1 ; H 1 ) norm of the temperature field is sufficient to show the existence of the weak solution.

The eigenvalues and eigenspaces of some discrete div- and curl-related operators are investigated. The discrete operators give some good discrete analogues of the continuous counterparts and play an important role in developing finite volume schemes for solving div-curl equations and electromagnetic systems. Knowledge of the eigenvalues and eigenspaces is very useful in the numerical analysis of finite volume methods for electromagetic systems in <i>nonhomogeneous</i> media.