We improve linear cryptanalysis by introducing a technique of probabilistic counting into the maximum likelihood stage.
In the original linear cryptanalysis based on maximum likelihood method with deterministic counting, the number of effective
key and text bits is a multiple of the number of bit involved in the input to some S-box. Then, when larger S-boxes are used,
2R-method and even the 1R-methods can become impractical just because the number of effective text and key bits become excessive.
Though 2R-method is practical for attacking DES, existing examples of ciphers where 2R-method is impractical include LOKI91.
We overcome this problem by selecting a part of the effective key bits and investigating the probabilistic behavior of the
remained effective key bits. The previous attacks discusses deterministic evaluation of the given approximated formula only
when all values of the effective text/key bits are known, while we compute the probability that the approximated formula with
unknown inputs equals to zero.
This extension of linear cryptanalysis make useful for 2R-attack on LOKI91, then improves the performance of previous attacks.
Furthermore, we implemented some experiments of attacks on 4-round LOKI91, and confirmed the effectiveness of our method.