Attacking AES via SAT - Department of Computer Science

More documents

Recommendations

Info

Breaking AES? AES and SAT Translation of AES into SAT Evaluation of initial translation Future work For breaking the AES, i.e., for trying to deduce key bits, given the plaintext and ciphertext, the translation, along with common SAT solvers such as minisat, picosat, OKsolver etc., performs very poorly. For example, with 118 key bits set, and only 10 unknown, minisat took nearly 20 hours to deduce the remaining key bits and find the satisfying assignment. Far slower than simple brute force methods. Matthew Gwynne Attacking AES via SAT
AES Encoding AES and SAT Translation of AES into SAT Evaluation of initial translation Future work It would seem at first that at least encoding and decoding should be a simple operation for a SAT solver. Is this the case with this translation? Matthew Gwynne Attacking AES via SAT
Page 1 and 2: AES and SAT Translation of AES into
Page 3 and 4: Basic idea AES and SAT Translation
Page 7 and 8: SAT AES and SAT Translation of AES
Page 9 and 10: AES AES and SAT Translation of AES
Page 13 and 14: Generalised SAT AES and SAT Transla
Page 17: AES and SAT Translation of AES into
Page 23 and 24: Further Work AES and SAT Translatio
Page 25: References II AES and SAT Translati

Attacking AES via SAT - Department of Computer Science

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?