OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Lisp/Cryptanalysis/DataEncryptionStandard 0.0.2 (1.4.2011)
Version 0.0.3
In ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/DataEncryptionStandard/plans/general.hpp the following topics are handled:
  • Improve tests
  • Add variants with reduced number of rounds
  • Combining 6-to-1 bit Sbox functions
  • S-box boolean 6xm functions : DONE
Version 0.0.4
In ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/DataEncryptionStandard/plans/general.hpp the following topics are handled:
  • Triple-DES
  • Create constraint evaluation system
  • Translating the constraint-system into SAT, CSP, ...
Update the following milestones.

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

Version history
  • 0.0.1 : 10.3.2011; initial version number (general plans file).
  • 0.0.2 : 1.4.2011; DES constraint system generator implemented.

Definition in file milestones.hpp.