Teoría de la decorrelación
Un marco para demostrar que un cifrado por bloques resiste clases enteras de ataques midiendo cuánto se aleja de una permutación verdaderamente aleatoria.
Serge Vaudenay la desarrolló a partir de 1998. La idea es definir una distancia entre el cifrado y una permutación aleatoria ideal, calculada sobre todos los pares o tuplas de entradas. Si esa distancia es lo bastante pequeña, se puede demostrar una cota superior a lo que puede lograr cualquier ataque diferencial o lineal de cierto orden, sin analizar cada característica a mano.
Vaudenay diseñó los cifrados COCONUT98 y PEANUT según ese principio, y el equipo del candidato a AES DFC también lo usó. La ironía llegó en 1999, cuando David Wagner rompió COCONUT98 con el ataque bumerán. La demostración era correcta; simplemente cubría los ataques para los que estaba planteada, y el bumerán combina dos diferenciales cortas en lugar de una larga. La teoría sigue viva como herramienta. La promesa de seguridad frente a todo murió ahí mismo.