Date Added: May 2012
In this paper, the authors propose an attack on block ciphers where they combine techniques derived from algebraic and fault based cryptanalysis. The recently introduced block cipher LED serves users as a target for their attack. They show how to construct an algebraic representation of the encryption map and how to cast the side channel information gained from a fault injection into polynomial form. The resulting polynomial system is converted into a logical formula in conjunctive normal form and handed over to a SAT solver for reconstruction of the secret key. Following this approach, they were able to mount a new, successful attack on the version of LED that uses a 64-bit secret key, requiring only a single fault injection.