Attacking AES via SAT - Department of Computer Science
Attacking AES via SAT - Department of Computer Science
Attacking AES via SAT - Department of Computer Science
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>SAT</strong><br />
<strong>AES</strong> and <strong>SAT</strong><br />
Translation <strong>of</strong> <strong>AES</strong> into <strong>SAT</strong><br />
Evaluation <strong>of</strong> initial translation<br />
Future work<br />
Boolean Satisfiability is the problem, given a propositional formula<br />
F , <strong>of</strong> finding an assignment ϕ : var(F ) → {0, 1} such that<br />
ϕ(F ) = 1.<br />
For example<br />
has the satisfying assignment<br />
(v 1 ∨ v 2 ) ∧ (v 1 ∨ ¬v 2 ) ∧ (¬v 1 ∨ v 2 )<br />
< v 1 → 1, v 2 → 1 > .<br />
Matthew Gwynne<br />
<strong>Attacking</strong> <strong>AES</strong> <strong>via</strong> <strong>SAT</strong>