Alex Biryukov Adi Shamir David Wagner Real Time Cryptanalysis of A5/1 on a PC. 1-18 2000 conf/fse/2000 FSE http://dx.doi.org/10.1007/3-540-44706-7_1 db/conf/fse/fse2000.html#BiryukovSW00