4,441 research outputs found
A Practical Cryptanalysis of the Algebraic Eraser
Anshel, Anshel, Goldfeld and Lemieaux introduced the Colored Burau Key
Agreement Protocol (CBKAP) as the concrete instantiation of their Algebraic
Eraser scheme. This scheme, based on techniques from permutation groups, matrix
groups and braid groups, is designed for lightweight environments such as RFID
tags and other IoT applications. It is proposed as an underlying technology for
ISO/IEC 29167-20. SecureRF, the company owning the trademark Algebraic Eraser,
has presented the scheme to the IRTF with a view towards standardisation.
We present a novel cryptanalysis of this scheme. For parameter sizes
corresponding to claimed 128-bit security, our implementation recovers the
shared key using less than 8 CPU hours, and less than 64MB of memory.Comment: 15 pages. Updated references, with brief comments added. Minor typos
corrected. Final version, accepted for CRYPTO 201
Excitation lines and the breakdown of Stokes-Einstein relations in supercooled liquids
By applying the concept of dynamical facilitation and analyzing the
excitation lines that result from this facilitation, we investigate the origin
of decoupling of transport coefficients in supercooled liquids. We illustrate
our approach with two classes of models. One depicts diffusion in a strong
glass former, and the other in a fragile glass former. At low temperatures,
both models exhibit violation of the Stokes-Einstein relation,
, where is the self diffusion constant and is the
structural relaxation time. In the strong case, the violation is sensitive to
dimensionality , going as for , and as for . In the fragile case, however, we argue that
dimensionality dependence is weak, and show that for , . This scaling for the fragile case compares favorably with the
results of a recent experimental study for a three-dimensional fragile glass
former.Comment: 7 pages, 7 figures, submitted to Phys. Rev.
Connected Network of Minima as a Model Glass: Long Time Dynamics
A simple model to investigate the long time dynamics of glass-formers is
presented and applied to study a Lennard-Jones system in supercooled and glassy
phases. According to our model, the point representing the system in the
configurational phase space performs harmonic vibrations around (and activated
jumps between) minima pertaining to a connected network. Exploiting the model,
in agreement with the experimental results, we find evidence for: i) stretched
relaxational dynamics; ii) a strong T-dependence of the stretching parameter;
iii) breakdown of the Stokes-Einstein law.Comment: 4 pages (Latex), 4 eps figure
Can sexual selection drive female life histories? A comparative study on Galliform birds
Sexual selection is an important driver of many of the most spectacular morphological traits that we find in the animal kingdom (for example see Andersson, 1994). As such, sexual selection is most often emphasized as
Decoupling of diffusion from structural relaxation and spatial heterogeneity in a supercooled simple liquid
We report a molecular dynamics simulation of a supercooled simple monatomic
glass-forming liquid. It is found that the onset of the supercooled regime
results in formation of distinct domains of slow diffusion which are confined
to the long-lived icosahedrally structured clusters associated with deeper
minima in the energy landscape. As these domains, possessing a low-dimensional
geometry, grow with cooling and percolate below , the critical temperature
of the mode coupling theory, a sharp slowing down of the structural relaxation
relative to diffusion is observed. It is concluded that this latter anomaly
cannot be accounted for by the spatial variation in atomic mobility; instead,
we explain it as a direct result of the configuration-space constraints imposed
by the transient structural correlations. We also conjecture that the observed
tendency for low-dimensional clustering may be regarded as a possible mechanism
of fragility.Comment: To be published in PR
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables
We show that Branching-time temporal logics CTL and CTL*, as well as
Alternating-time temporal logics ATL and ATL*, are as semantically expressive
in the language with a single propositional variable as they are in the full
language, i.e., with an unlimited supply of propositional variables. It follows
that satisfiability for CTL, as well as for ATL, with a single variable is
EXPTIME-complete, while satisfiability for CTL*, as well as for ATL*, with a
single variable is 2EXPTIME-complete,--i.e., for these logics, the
satisfiability for formulas with only one variable is as hard as satisfiability
for arbitrary formulas.Comment: Prefinal version of the published pape
Effective one-body approach to general relativistic two-body dynamics
We map the general relativistic two-body problem onto that of a test particle
moving in an effective external metric. This effective-one-body approach
defines, in a non-perturbative manner, the late dynamical evolution of a
coalescing binary system of compact objects. The transition from the adiabatic
inspiral, driven by gravitational radiation damping, to an unstable plunge,
induced by strong spacetime curvature, is predicted to occur for orbits more
tightly bound than the innermost stable circular orbit in a Schwarzschild
metric of mass M = m1 + m2. The binding energy, angular momentum and orbital
frequency of the innermost stable circular orbit for the time-symmetric
two-body problem are determined as a function of the mass ratio.Comment: 52 pages, RevTex, epsfig, 8 figure
String-like Clusters and Cooperative Motion in a Model Glass-Forming Liquid
A large-scale molecular dynamics simulation is performed on a glass-forming
Lennard-Jones mixture to determine the nature of dynamical heterogeneities
which arise in this model fragile liquid. We observe that the most mobile
particles exhibit a cooperative motion in the form of string-like paths
(``strings'') whose mean length and radius of gyration increase as the liquid
is cooled. The length distribution of the strings is found to be similar to
that expected for the equilibrium polymerization of linear polymer chains.Comment: 6 pages of RevTex, 6 postscript figures, uses epsf.st
- …