@misc{cryptoeprint:2010:324, author = {Abdel Alim Kamal and Amr M. Youssef}, title = {Applications of SAT Solvers to AES key Recovery from Decayed Key Schedule Images}, howpublished = {Cryptology ePrint Archive, Report 2010/324}, year = {2010}, url = {http://eprint.iacr.org/2010/324}, }