1.The folder 'DegreeEstimation' contains 
  a. the source code used to estimate the upper bounds of degrees of a superpoly 
  b. two .txt documents which includes the expermental results under two natural conditions.
****************************************************************************************************************************
****************************************************************************************************************************
2. The folder 'DerivingConditions' inlcudes
   a. the source code of deriving conditions for a chosen set of differences.
   b. the set of conditions derived for differnces indexed by I_1
   c. the set of conditions derived for differnces indexed by I_2
****************************************************************************************************************************
****************************************************************************************************************************
3. The folder 'MILP' includes
   a. the source code of figuring out the minimum number of conditions which are set to 1.
   b. the source code of obtaining the maximum space of weak keys 
   c. the file contains a set of conditions
   d. the file contains the output of our algorithm corresponding to the conditions in the above file.

****************************************************************************************************************************
****************************************************************************************************************************
4. The folder 'KeyRecoveyAttacks' includes
   a. the source code of attacks proposed in sect 4 and the brute-force attacks
****************************************************************************************************************************
****************************************************************************************************************************
5. The folder 'MILP' includes
   a. the source code for verifying the correctness of the condition obtained by MILP models
   b. the set of conditions derived for differnces indexed by I_1
   c. the set of conditions derived for differnces indexed by I_2
   d. when using the source code, it needs to put the conditions in the file 'ConSet' and set the conditon under verifying.
****************************************************************************************************************************
****************************************************************************************************************************
6. The folder 'Superpolies' includes
   a. the superpolies corresponding to Table 2