ALE is a new authenticated encryption algorithm published at FSE 2013. The authentication component of ALE is based on the strong Pelican MAC, and the authentication security of ALE is claimed to be 128-bit. In this paper, we propose the leaked-state-forgery attack (LSFA) against ALE by exploiting the state information leaked from the encryption of ALE. The LSFA is a new type of differential cr...

We consider type IIA compactification on K3. We show that the instanton subsectors of the worldvolume of N 4-branes wrapped around K3 lead to a Hagedorn density of BPS states in accord with heterotic-type IIA duality in 6 dimensions. We also find evidence that the correct framework to understand the results of Nakajima on the appearance of affine Kac-Moody algebras on the cohomology of moduli s...

We present a new cell-centered multi-material Arbitrary Lagrangian Eulerian (ALE) scheme to solve the compressible gaz dynamics equations on two-dimensional unstructured grid. Our ALE method is of the explicit time-marching Lagrange plus remap type. Namely, it involves the following three phases: a Lagrangian phase wherein the flow is advanced using a cell-centered scheme; a rezone phase in whi...

In Sri Lankan traditional medicine, the decoction of leaves of the plant Pongamia pinnata (L.) is claimed to possess antinociceptive activity. However, as yet, its antinociceptive potential has not been scientifically investigated. The aim of this study was to investigate the antinociceptive potential of an aqueous leaf extraction (ALE) of P. pinnata in rats, using three algesiometric methods (...

We present a method for the analysis of meta-analytic functional imaging data. It is based on Activation Likelihood Estimation (ALE) and subsequent model-based clustering using Gaussian mixture models, expectation-maximization (EM) for model fitting, and the Bayesian Information Criterion (BIC) for model selection. Our method facilitates the clustering of activation maxima from previously perfo...

The paper deals with numerical simulation of a compressible flow in timedependent 2D domains with a special interest in medical applications to airflow in the human vocal tract. The mathematical model of this process is described by the compressible Navier-Stokes equations. For the treatment of the time-dependent domain, the arbitrary Lagrangian-Eulerian (ALE) method is used. The discontinuous ...