Attacking AES via SAT - Department of Computer Science

More documents

Recommendations

Info

Overview AES and SAT Translation of AES into SAT Evaluation of initial translation Future work 1 AES and SAT 2 Translation of AES into SAT 3 Evaluation of initial translation 4 Future work Matthew Gwynne Attacking AES via SAT
AES and SAT Translation of AES into SAT Evaluation of initial translation Future work AES and SAT Matthew Gwynne Attacking AES via SAT
Page 1 and 2: AES and SAT Translation of AES into
Page 3: 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 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?