On Analysis of Lightweight Stream Ciphers with Keyed Update | IEEE Journals & Magazine | IEEE Xplore