Applications of SAT Solvers to AES Key Recovery from Decayed Key Schedule Images
The Design of Rijndael: AES - The Advanced Encryption Standard