[EN] Maude-NPA is an analysis tool for cryptographic security
protocols that takes into account the algebraic properties of the cryptosystem. Maude-NPA can reason about a wide range of cryptographic
properties. However, ...
Viguer Güémez, Albert(Universitat Politècnica de València, 2020-11-13)
[ES] En este trabajo final de grado se presenta una novedosa aplicación del álgebra matricial y la aritmética modular al proceso de encriptación de imágenes, a partir de los procesos iterativos en el plano complejo que dan ...