OKlibrary  0.2.1.6
Translations.mac
Go to the documentation of this file.
00001 /* Matthew Gwynne, 19.8.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2010, 2011 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00022 oklib_include("OKlib/ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/Translations.mac")$
00023 oklib_include("OKlib/ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/tests/Translations.mac")$
00024 
00025 /* ***************************************
00026    * Sets of Conditions                  *
00027    ***************************************
00028 */
00029 
00030 okltest_aes_sbox_ts_gen(aes_sbox_ts_gen);
00031 okltest_aes_mul_ts_gen(aes_mul_ts_gen);
00032 
00033 /******************************************************************
00034  * Statistics                                                     *
00035  ******************************************************************
00036 */
00037 
00038 okltest_nsbox_ss(nsbox_ss)$
00039 okltest_nmul_ss_gen(nmul_ss_gen)$
00040 okltest_nmul_ss(nmul_ss)$
00041 okltest_nadd_ss_sm(nadd_ss_sm);
00042 okltest_nadd_ss(nadd_ss);
00043 okltest_nconstants_ss(nconstants_ss);
00044 okltest_nvar_ss_gen(nvar_ss_gen);
00045 okltest_nvar_ss(nvar_ss);
00046 okltest_ncl_ss_gen(ncl_ss_gen);
00047 /* okltest_ncl_ss(ncl_ss); TEST FAILURE */
00048 okltest_ncl_list_ss_gen(ncl_list_ss_gen);
00049 okltest_ncl_list_ss(ncl_list_ss);
00050 okltest_component_statistics_ss_gen(component_statistics_ss_gen);
00051 
00052 /******************************************************************
00053  * Data translation                                               *
00054  ******************************************************************
00055 */
00056 
00057 okltest_aes_hex2pa(aes_hex2pa);
00058 okltest_ss_random_matrix(ss_random_matrix);
00059 okltest_ss_matrix2pa(ss_matrix2pa);
00060 okltest_ss_pa2matrix(ss_pa2matrix);
00061