Principe de la fatalité cryptographique
Règle empirique selon laquelle toute opération cryptographique effectuée avant la vérification du MAC d'un message finit tôt ou tard par ouvrir la voie à une attaque.
Moxie Marlinspike l'a formulée dans un billet de 2011 : si l'on doit effectuer la moindre opération cryptographique avant de vérifier le MAC d'un message reçu, cela mènera inévitablement à la catastrophe. Les preuves s'accumulaient déjà. L'oracle de bourrage de Vaudenay (2002) fonctionnait parce que le bourrage CBC était contrôlé avant le MAC, et SSH est tombé en 2009 sous une attaque exploitant le déchiffrement du champ de longueur avant toute authentification.
Le remède est le chiffrement puis MAC : le récepteur vérifie l'étiquette sur le chiffré et jette tout ce qui échoue, sans déchiffrer le moindre octet. Lucky Thirteen est arrivé deux ans après le billet et l'a confirmé pour TLS. Peu de principes sont validés aussi vite.