OKlibrary  0.2.1.6
ConstraintTemplateSmallScaleRewriteRules.mac File Reference

Functions for translating small-scale AES constraint templates into further AES constraint templates and CNF representations. More...

Go to the source code of this file.


Detailed Description

Functions for translating small-scale AES constraint templates into further AES constraint templates and CNF representations.

Functions are defined here for the translation of constraints for components of the small scale AES block cipher.

The functions provided are to be used with the general translation mechanisms given in ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/ConstraintTemplateRewriteSystem.mac and ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/ConstraintTemplateTranslation.mac. The notions of constraint templates, rewrite bundles and so on, are explained in each of these files.

Use by

oklib_load("OKlib/ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/ConstraintTemplateSmallScaleRewriteRules.mac");

Definition in file ConstraintTemplateSmallScaleRewriteRules.mac.