Criptoanálisis diferencial condicional
Criptoanálisis diferencial contra cifrados de registros de desplazamiento, en el que el atacante elige vectores de inicialización que obligan a la diferencia a propagarse de forma predecible.
Simon Knellwolf, Willi Meier y María Naya-Plasencia presentaron el método en 2010. Sus objetivos eran cifrados basados en registros de desplazamiento con realimentación no lineal (NLFSR): Grain, Trivium, KATAN. En ellos cada bit nuevo se mezcla mediante puertas AND, de modo que una diferencia muere o se propaga según los bits que la rodean.
El truco consiste en imponer condiciones: elegir bits del IV para que los términos AND que borrarían la diferencia queden fijos. Algunas condiciones dependen de bits de la clave, así que quien observa una salida sesgada ha aprendido algo sobre la clave. El parentesco con el ataque de cubo es evidente: ambos explotan que quien controla el IV controla el comienzo del cálculo. Grain v1 y Trivium completos han resistido; las variantes reducidas, no.