Dirk Stegemann Extended BDD-Based Cryptanalysis of Keystream Generators. 17-35 2007 conf/sacrypt/2007 Selected Areas in Cryptography http://dx.doi.org/10.1007/978-3-540-77360-3_2 db/conf/sacrypt/sacrypt2007.html#Stegemann07