Attacking AES via SAT - Department of Computer Science
Attacking AES via SAT - Department of Computer Science
Attacking AES via SAT - Department of Computer Science
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
References II<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 />
Tobias Eibach, Enrico Pilz, and Gunnar Vlkel.<br />
<strong>Attacking</strong> Bivium using <strong>SAT</strong> solvers.<br />
In Hans Kleine Bning and Xishun Zhao, editors, <strong>SAT</strong>, volume<br />
4996 <strong>of</strong> Lecture Notes in <strong>Computer</strong> <strong>Science</strong>, pages 63–76.<br />
Springer, 2008.<br />
Fabio Massacci and Laura Marraro.<br />
Logical cryptanalysis as a <strong>SAT</strong> problem.<br />
Journal <strong>of</strong> Automated Reasoning, pages 165–203, 2000.<br />
Matthew Gwynne<br />
<strong>Attacking</strong> <strong>AES</strong> <strong>via</strong> <strong>SAT</strong>