OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Investigations/Cryptography/AdvancedEncryptionStandard 0.1.5.2 (3.11.2011)
Version 0.1.6 :
Cryptography/AdvancedEncryptionStandard/KeyDiscovery version 0.1.3
(see AdvancedEncryptionStandard/plans/KeyDiscovery/milestones.hpp)
Cryptography/AdvancedEncryptionStandard/Representations version 0.1.6
(see AdvancedEncryptionStandard/plans/Representations/milestones.hpp)
In Cryptography/AdvancedEncryptionStandard/plans/general.hpp the following topics are handled:
  • Summary of previous experimental results
  • Merge SAT2011 plans with module one level higher : DONE
  • MiniSAT2 based solvers return incorrect times using experiment script : DONE
  • Add milestones : DONE
  • Replace "merge_cnf.sh" with "AppendDimacs" : DONE
  • Update scripts : DONE
In Cryptography/AdvancedEncryptionStandard/plans/Benchmarks.hpp the following topics are handled:
  • Prepare benchmarks for SAT 2011
In Cryptography/AdvancedEncryptionStandard/plans/EncryptionDecryption.hpp the following topics are handled:
  • Update instructions
In Cryptography/AdvancedEncryptionStandard/plans/Experimentation.hpp the following topics are handled:
  • Solvers to be used for experimentation
  • Prepare experiments for the SAT 2012 paper : DONE
Version 0.1.7 :
Cryptography/AdvancedEncryptionStandard/KeyDiscovery version 0.2
(see AdvancedEncryptionStandard/plans/KeyDiscovery/milestones.hpp)
Cryptography/AdvancedEncryptionStandard/Representations version 0.1.7
(see AdvancedEncryptionStandard/plans/Representations/milestones.hpp)
In Cryptography/AdvancedEncryptionStandard/plans/general.hpp the following topics are handled:
  • Separate key-schedule and block-cipher
  • Notions for AES operation
  • Investigating conditions and their representations
  • Structure
  • Explain how to replace various AES boxes with identity or random boxes
  • Determining a "good" local search algorithm to use on AES instances
In Cryptography/AdvancedEncryptionStandard/plans/Experimentation.hpp the following topics are handled:
  • Move experiment data to investigation-reports
  • Update experiment script
Create further milestones.
Create an outline of the experiments.
Version 0.1.8 :
Cryptography/AdvancedEncryptionStandard/Representations version 0.1.8
(see AdvancedEncryptionStandard/plans/Representations/milestones.hpp)
In Cryptography/AdvancedEncryptionStandard/plans/general.hpp the following topics are handled:
  • Using SBSAT
  • Merge SAT2011 plans with module one level higher
In AdvancedEncryptionStandard/plans/EncryptionDecryption.hpp the following topics are handled:
  • Encryption
  • Decryption
In Cryptography/AdvancedEncryptionStandard/plans/Experimentation.hpp the following topics are handled:
  • Investigating dimensions
In Cryptography/AdvancedEncryptionStandard/plans/AESKeyDiscovery.hpp the following topics are handled:
  • Breaking AES
In AdvancedEncryptionStandard/plans/CryptographicProperties.hpp the following topics are handled:
  • Cryptographic properties of AES
  • Keys for which AES encrypts P to P
  • Create sub-module
In Experimentation/Investigations/plans/CurrentExperiments.hpp the section on AES is updated.
Version 0.1.9 :
Cryptography/AdvancedEncryptionStandard/Representations version 0.1.9
(see AdvancedEncryptionStandard/plans/Representations/milestones.hpp)
In Cryptography/AdvancedEncryptionStandard/plans/general.hpp the following topics are handled:
  • Open problems
Version 0.2 : PLANNING SAT2012 COMPLETED
In Cryptography/AdvancedEncryptionStandard/plans/general.hpp the following topics are handled:
  • SAT 2012

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

Version history
  • 0.1 : 1.1.2011; initial version number (various plans and first results regarding AES "box" representations).
  • 0.1.1 : 1.1.2011; started serious planning for the SAT2011 contributions.
  • 0.1.2 : 1.1.2011; removed/transferred completed todos, updates links.
  • 0.1.3 : 2.1.2011; tidied general todos and updated SAT2011 sub-module.
  • 0.1.4 : 5.1.2011; created "Representations" sub-module with associated information.
  • 0.1.5 : 8.1.2011; tidied plans, introduced method descriptions and started experiment plans files.

Definition in file milestones.hpp.