Attacking AES via SAT - Department of Computer Science

More documents

Recommendations

Info

OKlibrary AES and SAT Translation of AES into SAT Evaluation of initial translation Future work The OKlibrary (http://ok-sat-library.org) is an open-source research environment for those interested in solving hard problems via SAT and other research areas surrounding SAT and other NP-complete problems. As such, the following translations are available as part of the OKlibrary, and the aim is to have: 1 Generality in the translation, to make it easy to replace components such as the Sbox with other random permutations or the identity function, for example. 2 Good software engineering (Documentation, tests, plans available). Matthew Gwynne Attacking AES via SAT
Generalised SAT AES and SAT Translation of AES into SAT Evaluation of initial translation Future work Certain aspects of AES may benefit from special knowledge which isn’t explicit in a CNF representation. Therefore, we would like to introduce a notion of generalised SAT: 1 Centred around the idea of “constraints” and “active” clauses. 2 Using the SAT algorithms and notions (such as CNF-like representations). 3 Allowing more powerful inference for and recombination of “sub-constraints” modelling the ability of SAT to recombine different aspects of the problem. 4 Allowing more compact representations. In a certain sense “merging” SAT and CSP ideas to create a more powerful framework. 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 11: AES and SAT Translation of AES into
Page 19 and 20: AES Encoding AES and SAT Translatio
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

Create successful ePaper yourself

Delete template?

Save as template?