Attacking AES via SAT - Department of Computer Science

More documents

Recommendations

Info

Introduction AES and SAT Translation of AES into SAT Evaluation of initial translation Future work In the following talk, a general translation framework, based around SAT, is considered, with the aim of providing a platform for research into the properties of a variety of cryptographic ciphers and other problems. In this case the Advanced Encryption Standard (AES) is considered, which has had a lot of interest from other research areas, centring around either it’s algebraic structure or purely around it’s cryptographic structure. This appears to be the first treatment of this cipher using SAT as a basis. Matthew Gwynne Attacking AES via SAT
Basic idea AES and SAT Translation of AES into SAT Evaluation of initial translation Future work Encryption/Decryption P K −−−−−−−→ Encryption C =⇒ C K −−−−−−−→ Decryption P The notion of “breaking” used in this presentation, is that given a single plaintext and single block of ciphertext, can one deduce a key. To find unique keys, given multiple plaintext, ciphertext pairs, this could then be generalised. Matthew Gwynne Attacking AES via SAT
Page 1: AES and SAT Translation of AES into
Page 5 and 6: AES and SAT Translation of AES into
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?