En criptografía , la teoría de la descorrelación es un sistema desarrollado por Serge Vaudenay en 1998 [1] para diseñar cifrados en bloque que sean demostrablemente seguros contra el criptoanálisis diferencial , el criptoanálisis lineal [2] e incluso los ataques criptoanalíticos no descubiertos que cumplen ciertos criterios generales. Los cifrados diseñados con estos principios incluyen COCONUT98 y el candidato AES DFC , los cuales han demostrado ser vulnerables a algunas formas de criptoanálisis no cubiertas por la teoría.
Según Vaudenay, la teoría de la descorrelación tiene cuatro tareas: 1) la definición de una medida para la descorrelación, que generalmente se basa en una norma matricial; 2) la construcción de un primitivo simple o "módulo de decorrelación" con una decorrelación bastante buena; 3) la construcción de algoritmos criptográficos con módulos de descorrelación para que la primitiva pueda ser heredada por el algoritmo; y, 4) demostrar que la decorrelación proporciona seguridad contra ataques. [3]