Applications of SAT Solvers to AES Key Recovery from Decayed Key Schedule Images
An Extensible SAT-solver