Dekorrelationstheorie
Ein Rahmenwerk, das beweist, dass eine Blockchiffre ganze Angriffsklassen übersteht, indem es misst, wie weit sie von einer echten Zufallspermutation entfernt ist.
Serge Vaudenay entwickelte sie ab 1998. Die Idee: Man definiert einen Abstand zwischen der Chiffre und einer idealen Zufallspermutation, gemessen über alle Paare oder Tupel von Eingaben. Ist dieser Abstand klein genug, lässt sich eine obere Schranke dafür beweisen, wie gut ein differentieller oder linearer Angriff einer bestimmten Ordnung sein kann – ohne jede Charakteristik von Hand zu analysieren.
Vaudenay entwarf die Chiffren COCONUT98 und PEANUT nach diesem Prinzip, und auch das Team hinter dem AES-Kandidaten DFC nutzte es. Die Ironie kam 1999, als David Wagner COCONUT98 mit dem Boomerang-Angriff brach. Der Beweis stimmte; er deckte nur die Angriffe ab, für die er geschrieben war, und der Boomerang verknüpft zwei kurze Differentiale statt eines langen. Die Theorie lebt als Werkzeug weiter. Das Versprechen von Sicherheit gegen alles nicht.