@misc{cryptoeprint:2009:637, author = {Xiao-shan Gao and Zhenyu Huang}, title = {Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers}, howpublished = {Cryptology ePrint Archive, Report 2009/637}, year = {2009}, url = {http://eprint.iacr.org/2009/637}, }