OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

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:
  • Notion of "constraint"
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.