Cryptanalysis of block ciphers with overdefined systems of equations

Several recently proposed ciphers, for example Rijndael and Serpent, are built with layers of small S-boxes interconnected by linear key-dependent layers. Their security relies on the fact, that the classical methods of cryptanalysis (e.g. linear or differential attacks) are based on probabilistic characteristics, which makes their security grow exponentially with the number of rounds N r r. In this paper we study the security of such ciphers under an additional hypothesis: the S-box can be described by an overdefined system of algebraic equations (true with probability 1). We show that this is true for both Serpent (due to a small size of S-boxes) and Rijndael (due to unexpected algebraic properties). We study general methods known for solving overdefined systems of equations, such as XL from Eurocrypt’00, and show their inefficiency. Then we introduce a new method called XSL that uses the sparsity of the equations and their specific structure. The XSL attack uses only relations true with probability 1, and thus the security does not have to grow exponentially in the number of rounds. XSL has a parameter P, and from our estimations is seems that P should be a constant or grow very slowly with the number of rounds. The XSL attack would then be polynomial (or subexponential) in N r> , with a huge constant that is double-exponential in the size of the S-box. The exact complexity of such attacks is not known due to the redundant equations. Though the presented version of the XSL attack always gives always more than the exhaustive search for Rijndael, it seems to (marginally) break 256-bit Serpent. We suggest a new criterion for design of S-boxes in block ciphers: they should not be describable by a system of polynomial equations that is too small or too overdefined.

Examples illustrating the use of renormalization techniques for singularly perturbed differential equations

With nine examples, we seek to illustrate the utility of the Renormalization Group approach as a unification of other asymptotic and perturbation methods.

Generalized azimuthal shear deformations in compressible isotropic elastic materials

In this article we study the azimuthal shear deformations in a compressible Isotropic elastic material. This class of deformations involves an azimuthal displacement as a function of the radial and axial coordinates. The equilibrium equations are formulated in terms of the Cauchy-Green strain tensors, which form an overdetermined system of partial differential equations for which solutions do not exist in general. By means of a Legendre transformation, necessary and sufficient conditions for the material to support this deformation are obtained explicitly, in the sense that every solution to the azimuthal equilibrium equation will satisfy the remaining two equations. Additionally, we show how these conditions are sufficient to support all currently known deformations that locally reduce to simple shear. These conditions are then expressed both in terms of the invariants of the Cauchy-Green strain and stretch tensors. Several classes of strain energy functions for which this deformation can be supported are studied. For certain boundary conditions, exact solutions to the equilibrium equations are obtained. © 2005 Society for Industrial and Applied Mathematics.

Demonstration of nonlinear absorption in Au semi-continuous film by electrical measurement

We have demonstrated the nonlinear absorption at 532 nm wavelength in an Au semi-continuous film (SF) resulting from smearing of the Fermi distribution and diffusion of conduction electrons into the substrate. The Au SF was irradiated by a pulsed laser with 8 ns pulse width at 532 nm in near resonance with the interband transition of the Au. We determined the temperature increase in the SF for different intensities by electrical measurement. We calculated the temperature increase by using a 1D heat transport equation; comparing the results of the calculation with measured values for the temperature increase, revealed the nonlinear absorption in the Au SF. We employed this deviation from linear behaviour to determine the nonlinear absorption coefficient.

Nonlinear ion-acoustic surface waves on a dusty plasma

A nonlinear theory for ion-acoustic surface waves propagating at the interface between a dusty plasma and a dielectric is presented. The nonlinear effects are associated with density modulations caused by surface-wave induced anomalous ionization. The negative charge of the massive dust grains is assumed to be constant. It is shown that the effect of the ionization nonlinearity arising from the ion-acoustic surface waves can result in the formation of surface envelope solitons. The wave phase shifts and the widths of the solitons are estimated for typical gas discharge plasmas.

Nonlinear effects of ionization on surface waves on a plasma-metal interface

Nonlinear effects associated with density modulation caused by wave-induced ionization in magnetized plasmas were studied. The ionizing surface waves propagate at the interface between the plasma and a metallic surface. It is shown that the ionization nonlinearity can be important for typical experimental conditions.

Nonlinear geometric and material computational technique : higher-order element with refined plastic hinge approach

This paper addresses of the advanced computational technique of steel structures for both simulation capacities simultaneously; specifically, they are the higher-order element formulation with element load effect (geometric nonlinearities) as well as the refined plastic hinge method (material nonlinearities). This advanced computational technique can capture the real behaviour of a whole second-order inelastic structure, which in turn ensures the structural safety and adequacy of the structure. Therefore, the emphasis of this paper is to advocate that the advanced computational technique can replace the traditional empirical design approach. In the meantime, the practitioner should be educated how to make use of the advanced computational technique on the second-order inelastic design of a structure, as this approach is the future structural engineering design. It means the future engineer should understand the computational technique clearly; realize the behaviour of a structure with respect to the numerical analysis thoroughly; justify the numerical result correctly; especially the fool-proof ultimate finite element is yet to come, of which is competent in modelling behaviour, user-friendly in numerical modelling and versatile for all structural forms and various materials. Hence the high-quality engineer is required, who can confidently manipulate the advanced computational technique for the design of a complex structure but not vice versa.

Spatially averaged model of complex-plasma discharge with self-consistent electron energy distribution

A global, or averaged, model for complex low-pressure argon discharge plasmas containing dust grains is presented. The model consists of particle and power balance equations taking into account power loss on the dust grains and the discharge wall. The electron energy distribution is determined by a Boltzmann equation. The effects of the dust and the external conditions, such as the input power and neutral gas pressure, on the electron energy distribution, the electron temperature, the electron and ion number densities, and the dust charge are investigated. It is found that the dust subsystem can strongly affect the stationary state of the discharge by dynamically modifying the electron energy distribution, the electron temperature, the creation and loss of the plasma particles, as well as the power deposition. In particular, the power loss to the dust grains can take up a significant portion of the input power, often even exceeding the loss to the wall.

The effect of the nonparabolicity of the free carriers dispersion law on the propagation of surface polaritons in a semiconductor-metal structure

The results of a study on the influence of the nonparabolicity of the free carriers dispersion law on the propagation of surface polaritons (SPs) located near the interface between an n-type semiconductor and a metal arc reported. The semiconductor plasma is assumed to be warm and nonisothermal. The nonparabolicity of the electron dispersion law has two effects. The first one is associated with nonlinear self-interaction of the SPs. The nonlinear dispersion equation and the nonlinear Schrodinger equation for the amplitude of the SP envelope are obtained. The nonlinear evolution of the SP is studied on the base of the above mentioned equations. The second effect results in third harmonics generation. Analysis shows that these third harmonics may appear as a pure surface polariton, a pseudosurface polariton, or a superposition of a volume wave and a SP depending on the wave frequency, electron density and lattice dielectric constant.

Nonlinear surface magnetoplasmons at the electron semiconductor-metal interface

The nonlinear self-interaction of the potential surface magnetoplasmons, propagating across the external magnetic field at the n-type semiconductor-metal interface is described in this manuscript. The studied nonlinearity is due to the free carriers dispersion law nonparabolicity and we show that it acts differently in semiconductor materials with normal and inverse band structures. The results of the nonlinear evolution of the surface magnetoplasmons are presented as well.

Nonlinear electromagnetic fields in 0.5 MHz inductively coupled plasmas

Radial profiles of magnetic fields in the electrostatic (E) and electromagnetic (H) modes of low-frequency (∼500) inductively coupled plasmas (ICP) were measured using miniature magnetic probes. A simplified plasma fluid model explaining the generation of the second harmonics of the azimuthal magnetic field in the plasma source was proposed. Because of apparent similarity in the procedure of derivation of the pondermotive force-caused nonlinear terms, pronounced generation of the nonlinear static azimuthal magnetic field could be expected.

Series in vector spherical harmonics : an efficient tool for solution of nonlinear problems in spherical plasmas

The series expansion of the plasma fields and currents in vector spherical harmonics has been demonstrated to be an efficient technique for solution of nonlinear problems in spherically bounded plasmas. Using this technique, it is possible to describe the nonlinear plasma response to the rotating high-frequency magnetic field applied to the magnetically confined plasma sphere. The effect of the external magnetic field on the current drive and field configuration is studied. The results obtained are important for continuous current drive experiments in compact toruses. © 2000 American Institute of Physics.

Third harmonic generation of the surface wave in the semiconductor-metal slowing-down structure

A nonlinear process is considered of the surface wave third harmonics generation in a slowing-down semiconductor-metal structure. The process is conditioned by non-parabolicity of the charge carrier dispersion law. It is shown that in narrow-gap semiconducting materials it is necessary to account for the process together with the surface wave second harmonics generation conditioned by nonlinearity of quasi-hydrodynamics and the Maxwell equations. The conclusion is made that the third harmonies amplitude in narrow-gap semiconductors may exceed substantially the signal amplitude at the 3w frequency in a gas plasma and be of the same order with the surface waves second harmonies amplitude.

Nonlinear interactions of azimuthal surface waves in magnetoactive plasma filled waveguides

This paper deals with the theoretical studies of nonlinear interactions of azimuthal surface waves (ASW) in cylindrical metal waveguides fully filled by a uniform magnetoactive plasma. These surface-type wave perturbations propagate in azimuthal direction across an external magnetic field, which is directed along the waveguide axis. The ASW is a relatively new kind of surface waves and so far the nonlinear effects associated with their propagation are outside the scope of scientific issues. They are characterized by a discrete set of mode numbers values which define the ASW eigenfrequencies. This fact leads to several peculiarities of ASW compared with ordinary surface-type waves.

Nonlinear secret sharing immune against cheating

The paper investigates the design of secret sharing that is immune against cheating (as defined by the Tompa-Woll attack). We examine secret sharing with binary shares and secrets. Bounds on the probability of successful cheating are given for two cases. The first case relates to secret sharing based on bent functions and results in a non-perfect scheme. The second case considers perfect secret sharing built on highly nonlinear balanced Boolean functions.