- Module Versions:
- Lisp/Cryptanalysis/Rijndael 0.0.8 (28.7.2011)
- Version 0.0.9
- In ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/plans/general.hpp the following topics are handled:
- Simplify AES translation
- Rewrite translation functions using ss_field_op_fulldnf_gen_fcl etc
- Functions should not cache return values
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/Translations.hpp the following topics are handled:
- Test failure with okltest_ncl_ss
- output_ss_fcl_std runs out of memory generating one round AES
- Order of small scale matrix dimensions
- Bug not in the milestones : DONE
- Test failure : DONE
- In Cryptanalysis/Rijndael/plans/ConstraintTemplateSmallScaleRewriteRules.hpp the following topics are handled:
- Move AES box translations into separate file
- Update specifications
- Test failure with okltest_ss_sbox_pi_cst_cl : DONE
- In Cryptanalysis/Rijndael/plans/ConstraintTemplateRewriteRules.hpp the following topics are handled:
- Test failure with okltest_aes_mul3_pi_cst_cl
- Test failure with okltest_aes_sbox_pi_cst_cl : DONE
- Version 0.0.10
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/Translations.hpp the following topics are handled:
- Remove AES-specific translation
- Complete small scale helper functions
- Standardise output files names
- In Cryptanalysis/Rijndael/plans/ConstraintTemplateRewriteSystem.hpp the following topics are handled:
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/ConstraintTemplateSmallScaleRewriteRules.hpp the following topics are handled:
- Remove hard-coding of multiplication by 01 in small scale MixColumn
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/FieldOperationsAnalysis.hpp the following topics are handled:
- Move experimental todos to investigations
- Version 0.0.11
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/Translations.hpp the following topics are handled:
- Handling external data
- Rewrite ncl_list_ss correctly
- In ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/plans/general.hpp the following topics are handled:
- S-box and multiplication boolean 6xm functions
- Evaluating AES "constraints"
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/FieldOperationsAnalysis.hpp the following topics are handled:
- Add XOR translations for field multiplications
- Version 0.1
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/Translations.hpp the following topics are handled:
- Rewrite tests based on rewritten translation system
- Write Docus
- In Cryptanalysis/Rijndael/plans/ConstraintTemplateSmallScaleRewriteRules.hpp the following topics are handled:
- Rearranging linear components of Sbox and MixColumns
- The aim is to have a first translation, so that amongst others SAT-solvers can be utilised to attack AES.
- Update the following milestones.
- Version 0.1.1
- In ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/plans/general.hpp the following topics are handled:
- Generating defaults constant for small scale
- Generating polynomial representations of field operations
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/SboxAnalysis.hpp the following topics are handled:
- Other software systems offering Sbox translations
- Representations of the Sbox using additional variables
- Add decomposed Sbox operations
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/FieldOperationsAnalysis.hpp the following topics are handled:
- Find the symmetries of the AES Field Operations
- Determine *all* prime implicates (for the purpose of analysis)
- Version 0.1.2
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/FieldOperationsAnalysis.hpp the following topics are handled:
- Generate good CNF hitting clause-sets for the AES Field Operations
- Prime implicate representations from hitting-cls-representations
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/Translations.hpp the following topics are handled:
- How to represent elements of arbitrary fields as boolean variables?
- Provide additional translation into CSP-solver format
- Generate translation that allows multiple plaintext/ciphertext pairs
- In Cryptology/Lisp/Cryptanalysis/Rijndael/plans/ActiveClauses.hpp the following topics are handled:
- Active clauses for field operations
- Partitioning into active clauses
- Create milestones.
-------------------------------------------------------------------------------------------------------------------------------------
- Version history
- 0.0.4 : 7.3.2008; initial version number (quite a few plans for translations to SAT).
- 0.0.5 : 3.6.2009; added tests for all most Sbox analysis functions and tidied the implementation.
- 0.0.6 : 4.6.2009; added tests and finalised the initial translation system ready for rewriting using new notions.
- 0.0.7 : 19.3.2011; improved the translation system by introducing meaningful variable-names and separate handling of clauses, and various extensions.
- 0.0.8 : 28.7.2011; started adding documentation for AES translation, addressed old and stale todos and investigated prime implicates for AES boxes.
Definition in file milestones.hpp.