OKlibrary
0.2.1.6

Listing the translations for the smallscale AES key discovery for AES with a 2x1 plaintext matrix and 4bit field elements. More...
Go to the source code of this file.
Listing the translations for the smallscale AES key discovery for AES with a 2x1 plaintext matrix and 4bit field elements.
maxima> ncl_list_full_dualts(8,16); [[2,128],[9,16],[16,1]]
maxima> ncl_list_fcs(ev_hm(ss_sbox_rbase_cnfs,4)); [[3,12],[4,15]] maxima> ncl_list_fcs(ev_hm(ss_field_rbase_cnfs,[4,2])); [[2,6],[3,4]] maxima> ncl_list_fcs(ev_hm(ss_field_rbase_cnfs,[4,3])); [[3,16],[4,8]]
/* Multiplication by 02: */ maxima> FieldMul2CNF : [{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16},{{9,2},{2,9},{10,3},{3,10},{11,4},{4,11},{12,5,1},{12,1,5},{5,1,12},{1,5,12},{13,6,1},{1,6,13},{14,7},{7,14},{15,1,8},{8,1,15},{16,15,8},{16,8,15},{13,6,16},{6,13,16}}]$ set_hm(ss_field_cnfs,[8,2], FieldMul2CNF)); /* Multiplication by 03: */ maxima> FieldMul3CNF : [[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16], [{9,2,1},{2,1,9},{10,2,3},{10,9,3,1},{10,3,1,9},{3,2,10},{9,1,3,10},{1,3,9,10},{11,4,3},{11,3,4},{4,3,11},{3,4,11},{12,5,4,1},{12,4,1,5},{5,1,4,12},{1,4,5,12},{13,5,1,6},{13,1,5,6},{13,12,6,4},{13,6,4,12},{6,5,1,13},{6,1,5,13}, {12,4,6,13},{4,6,12,13},{14,7,6},{14,6,7},{7,6,14},{6,7,14},{16,8,1},{16,1,8},{16,15,7},{16,7,15},{8,1,16},{1,8,16},{15,7,16},{7,15,16}]]$ set_hm(ss_field_cnfs,[8,2], FieldMul3CNF)); /* Sbox: */ maxima> output_rijnsbox_fullcnf_stdname(); shell> QuineMcCluskeySubsumptionHypergraphn16O3DNDEBUG AES_Sbox_full.cnf > AES_Sbox_shg.cnf shell> cat AES_Sbox_shg.cnf  MinOnes2WeightedMaxSATO3DNDEBUG > AES_Sbox_shg.wcnf shell> ubcsatokl alg gsat w runs 100 cutoff 40000000 wtarget 294 solve 1 seed 3213901809 i AES_Sbox_shg.wcnf r model AES_Sbox_s294.ass; shell> cat AES_Sbox_full.cnf_primes  FilterDimacs AES_Sbox_s294.ass > AES_Sbox_s294.cnf maxima> SboxMinCNF : read_fcl_f("AES_Sbox_s294.cnf"); maxima> set_hm(ss_sbox_cnfs,8, SboxMinCNF));
maxima> ncl_list_fcs(ev_hm(ss_sbox_cnfs,8)); [[6,143],[7,127],[8,24]] maxima> ncl_list_fcs(ev_hm(ss_field_cnfs,[8,2])) [[2,8],[3,12]] maxima> ncl_list_fcs(ev_hm(ss_field_cnfs,[8,3])) [[3,20],[4,16]]
Definition in file Translations.hpp.