Login / Signup
Applications of SAT Solvers to AES key Recovery from Decayed Key Schedule Images.
Abdel Alim Kamal
Amr M. Youssef
Published in:
IACR Cryptol. ePrint Arch. (2010)
Keyphrases
</>
sat solvers
linear programming
upper bound
image retrieval
knowledge representation
information retrieval systems
np complete
orders of magnitude
sat problem