OKlibrary  0.2.1.6
FieldOperationsAnalysis.mac File Reference

Tests for the analysis functions of the AES Field Operations. More...

Go to the source code of this file.


Detailed Description

Tests for the analysis functions of the AES Field Operations.

Use by

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

Bug:
What is the meaning of the part commented out? MG -- ACTION REQUIRED!
  •     inputList : create_list(-i,i,1,8),
          for i : 1 thru 7 do block(
            inputList = rotate(inputList,-1),
            assert(totaldisrep(apply_pa(setify(inputList), mulFullDNF[2])) =
              {setify(map(lambda([a], (a / abs(a)) * (8 + abs(a))),
                rotate(inputList,-1)))})
        
  • MG : A very confused attempt at implementing the section of the tests now implemented and labelled "Test 2 * 2^i = 2^(i+1)". It was commented out as it wasn't working but I wanted to come back to it (should have gone to plans).
Bug:
DONE Tests take too much time for level basic. MG -- ACTION REQUIRED!
  • It seems this can be avoided, since oklib_test_level is yet not queried in the tests.
  • ok_test_level introduced, although no tests will be possible at oklib_test_level = 0, due to the time the function to be tested takes.
Bug:
(DONE Tests now need expanding OK: what does this mean??? MG -- ACTION REQUIRED) Test functions only take ONE argument.
  • The above functions is only a HELPER function.

Definition in file FieldOperationsAnalysis.mac.