- 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:
- 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:
- 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:
- In AdvancedEncryptionStandard/plans/Representations/RoundColumn_2_4.hpp the following topics are handled:
- 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.