Edit probability correlation attacks on stop/go clocked keystream generators (Q1402363)

The authors consider three generators: the alternating step generator, the bilateral stop/go generator and the alleged A5 generator. Further, they describe correlation attacks against these generators based on the edit probabilities \(P(X^{n+2};Z^n)\), defined as the probability that the string \(X^{n+2}\) is transformed into \(Z^n\). Efficient recursive algorithms for computation of the edit probabilities are also presented.