Applications of SAT Solvers to AES Key Recovery from Decayed Key Schedule Images
Extending SAT Solvers to Cryptographic Problems