A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers

Fengjuan Chai, Xiao-Shan Gao, Chun-Ming Yuan. A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers. J. Systems Science & Complexity, 21(2):191-208, 2008. [doi]

Abstract

Abstract is missing.