OKlibrary  0.2.1.6
FieldMul2CNF.mac File Reference

Example CNF for the Rijndael byte field multiplication by 02 or "x". More...

Go to the source code of this file.


Detailed Description

Example CNF for the Rijndael byte field multiplication by 02 or "x".

Use by

oklib_load("OKlib/ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/data/FieldMul2CNF.mac")$

Definition in file FieldMul2CNF.mac.