4,441 research outputs found

    A Practical Cryptanalysis of the Algebraic Eraser

    Get PDF
    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

    Full text link
    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, Dτ1D\sim\tau^{-1}, where DD is the self diffusion constant and τ\tau is the structural relaxation time. In the strong case, the violation is sensitive to dimensionality dd, going as Dτ2/3D\sim\tau^{-2/3} for d=1d=1, and as Dτ0.95D\sim \tau^{-0.95} for d=3d=3. In the fragile case, however, we argue that dimensionality dependence is weak, and show that for d=1d=1, Dτ0.73D \sim \tau^{-0.73}. 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

    Full text link
    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

    Decoupling of diffusion from structural relaxation and spatial heterogeneity in a supercooled simple liquid

    Full text link
    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 TcT_c, 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

    Full text link
    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

    Full text link
    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

    Full text link
    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
    corecore