Teoria della decorrelazione
Un quadro teorico per dimostrare che un cifrario a blocchi resiste a intere classi di attacchi, misurando quanto dista da una permutazione davvero casuale.
Serge Vaudenay la sviluppò a partire dal 1998. L'idea è definire una distanza tra il cifrario e una permutazione casuale ideale, calcolata su tutte le coppie o n-uple di input. Se la distanza è abbastanza piccola, si può dimostrare un limite superiore all'efficacia di qualsiasi attacco differenziale o lineare di un dato ordine, senza analizzare a mano ogni singola caratteristica.
Vaudenay progettò su questo principio i cifrari COCONUT98 e PEANUT, e lo stesso fece il gruppo dietro DFC, candidato ad AES. L'ironia arrivò nel 1999, quando David Wagner ruppe COCONUT98 con l'attacco boomerang. La dimostrazione era corretta; semplicemente copriva gli attacchi per cui era stata scritta, mentre il boomerang unisce due differenziali corti invece di usarne uno lungo. La teoria sopravvive come strumento. La promessa di sicurezza contro tutto, no.