OKlibrary  0.2.1.6
Translations.hpp File Reference

User documentation for the Maxima computer algebra system implementation of the AES constraint translations. More...

Go to the source code of this file.


Detailed Description

User documentation for the Maxima computer algebra system implementation of the AES constraint translations.

Todo:
General idea
  • The purpose of this module is to offer a collection of translation of the Advanced encryption standard and variants there of into CNF SAT systems, constraint systems and so on.
  • For basic use cases see aes_cstt_std_l and aes_constraints2cnf_pi_cl in Translations.mac.

Definition in file Translations.hpp.