Criptoanálise diferencial condicional
Criptoanálise diferencial contra cifras de registradores de deslocamento, em que o atacante escolhe vetores de inicialização que forçam a diferença a se propagar de forma previsível.
Simon Knellwolf, Willi Meier e María Naya-Plasencia apresentaram o método em 2010. Os alvos eram cifras construídas sobre registradores de deslocamento com realimentação não linear (NLFSR): Grain, Trivium e KATAN. Nesses projetos, cada novo bit entra misturado por portas AND, então a diferença morrer ou se propagar depende dos bits ao redor.
O truque é impor condições: escolher os bits do IV de modo que os termos AND que espalhariam a diferença fiquem fixos. Algumas condições dependem de bits da chave, e quem observa uma saída enviesada já aprendeu algo sobre a chave. O parentesco com o ataque cubo é evidente: ambos exploram o fato de que quem controla o IV controla o início da computação. O Grain v1 e o Trivium completos sobreviveram; as variantes com menos rodadas, não.