Matthias Krause OBDD-Based Cryptanalysis of Oblivious Keystream Generators. 101-121 2007 40 Theory Comput. Syst. 1 http://dx.doi.org/10.1007/s00224-005-1282-8 db/journals/mst/mst40.html#Krause07