Yaniv Shaked Avishai Wool Cryptanalysis of the Bluetooth <i>E</i><sub><i>0</i></sub> Cipher Using OBDD's. 187-202 2006 conf/isw/2006 ISC http://dx.doi.org/10.1007/11836810_14 db/conf/isw/isc2006.html#ShakedW06