OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Cryptography/AdvancedEncryptionStandard/Representations 0.1.5 (2.11.2011)
Version 0.1.6 :
In AdvancedEncryptionStandard/plans/Representations/general.hpp the following topics are handled:
  • Standard naming scheme for experiment files
  • k-based representations
In Cryptography/AdvancedEncryptionStandard/plans/Representations/Sbox_4.hpp the following topics are handled:
  • Update
In Cryptography/AdvancedEncryptionStandard/plans/Representations/Sbox_8.hpp the following topics are handled:
  • Move individual investigations to sub-modules
In AdvancedEncryptionStandard/plans/Representations/MixColumns.hpp the following topics are handled:
  • Sizes (and structure)
In AdvancedEncryptionStandard/plans/Representations/Methods.hpp the following topics are handled:
  • Tidy hitting-clause-set todos and move method here
  • Add instructions for using Pseudo-boolean SAT solvers for minimisation
  • Add todos
Create an outline of the experiments.
Version 0.1.7 :
In AdvancedEncryptionStandard/plans/Representations/general.hpp the following topics are handled:
  • Considering output bits on their own
  • Scripts for generating statistics on random boxes
  • Find "best" solver(s) and local search algorithms for minimisation
In AdvancedEncryptionStandard/plans/Representations/Mul_e_4.hpp the following topics are handled:
  • Generating all minimum representations via hypergraph transversals
In AdvancedEncryptionStandard/plans/Representations/MixColumns.hpp the following topics are handled:
  • Computation of r_k-bases
In AdvancedEncryptionStandard/plans/Representations/RoundColumn_2_4.hpp the following topics are handled:
  • Naming
Version 0.1.8 :
In AdvancedEncryptionStandard/plans/Representations/general.hpp the following topics are handled:
  • Combining linear components
  • The square of the Sbox
  • Understanding prime implicates after any partial assignment
In AdvancedEncryptionStandard/plans/Representations/Sbox_4.hpp the following topics are handled:
  • Combining Sbox with field addition
In AdvancedEncryptionStandard/plans/Representations/Sbox_8.hpp the following topics are handled:
  • Generate good CNF hitting clause-sets
  • Analysing the AES prime implicates
  • Extracting prime implicate representations from the hitting-cls-representations
Version 0.1.9 :
In AdvancedEncryptionStandard/plans/Representations/Sbox_8.hpp the following topics are handled:
  • Find the symmetries of the AES Sbox DNF
In Cryptography/AdvancedEncryptionStandard/plans/Representations/Inv_8.hpp the following topics are handled:
  • Find the symmetries of the AES inversion DNF

-------------------------------------------------------------------------------------------------------------------------------------

Version history
  • 0.1.5 : 2.11.2011; initial version number (various plans and results on 4 and 8-bit AES box representations).

Definition in file milestones.hpp.