Provable Security Evaluations of XOR-Versions of SNOW Family Stream Ciphers Against Fast Correlation Attacks | IEEE Journals & Magazine | IEEE Xplore