El algoritmo es un candidato del proceso de estandarización de la Criptografía Ligera iniciado por el Instituto Nacional de Estándares y Tecnología (NIST) de los Estados Unidos que pasó la primera ronda y entró con éxito en la segunda ronda. Está diseñado para lograr un equilibrio entre el costo del hardware y la eficiencia del software tanto para la encriptación autenticada con datos asociados (AEAD) como para las funcionalidades de hash. Este documento se centra en el ataque diferencial imposible contra la permutación, que es el componente central del algoritmo. Basándonos en el método de la matriz característica, construimos un algoritmo de búsqueda automática que se puede utilizar para buscar diferenciales imposibles estructurales y dar la permutación óptima para permutaciones y otros cifrados SPN. Demostramos que no hay diferenciales imposibles de permutación de más de 9 pasos y construimos dos diferenciales imposibles de 8 pasos. Al final, presentamos la permutación de palabras óptima contra el criptoanálisis diferencial imposible, que es, y una estructura de XOR de palabras más segura de la permutación ACE.