Table 1 Decomposition sets for SAT-based cryptanalysis of A5/1 and corresponding values of the predictive function
Set | Power of set | \(F\left( \cdot \right)\) |
|---|---|---|
\(S_1\) | 31 | 4.45140e+08 |
\(S_2\) | 31 | 4.78318e+08 |
\(S_3\) | 32 | 4.64428e+08 |
Set | Power of set | \(F\left( \cdot \right)\) |
|---|---|---|
\(S_1\) | 31 | 4.45140e+08 |
\(S_2\) | 31 | 4.78318e+08 |
\(S_3\) | 32 | 4.64428e+08 |