OKlibrary  0.2.1.6
GeneralisedConstraintTranslation.mac File Reference

Tests regarding constraint translations of DES with arbitrary numbers of rounds. More...

Go to the source code of this file.


Detailed Description

Tests regarding constraint translations of DES with arbitrary numbers of rounds.

Use by

oklib_load("OKlib/ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/DataEncryptionStandard/tests/GeneralisedConstraintTranslation.mac");

Definition in file GeneralisedConstraintTranslation.mac.