Using SAT Solving to Improve Differential Fault Analysis of Trivium
Combining different cryptanalytic methods to attack a cryptosystem became one of the hot topics in cryptanalysis. In particular, algebraic methods in side channel and Differential Fault Analysis (DFA) attracted a lot of attention recently. In Hojsik and Rudolf used DFA to recover the inner state of the stream cipher Trivium which leads to recovering the secret key. For this attack, they required 3.2 one-bit fault injections on average and 800 key-stream bits. In this paper, the authors give an example of combining DFA attacks and algebraic attacks.