Theoretical analysis of a correlation attack based on convolutional codes

The authors consider a binary synchronous stream cipher where a correlation has been identified between the keystream sequence and the output from one of the linear feedback shift registers (LFSR). They present a theoretical analysis of their recent algorithm for fast correlation attacks, based on the use of convolutional codes (see Advances in Cryptology - EUROCRYPT'99, Lecture Notes in Computer Science, vol.1592, p.347-62, Springer-Verlag, 1999).