An improvement of collision probability in biased birthday attack against A5/1 stream cipher | IEEE Conference Publication | IEEE Xplore