@misc{cryptoeprint:2018:1057, author = {Liliya Akhmetzyanova and Cas Cremers and Luke Garratt and Stanislav V. Smyshlyaev}, title = {Security Analysis for Randomness Improvements for Security Protocols}, howpublished = {Cryptology ePrint Archive, Report 2018/1057}, year = {2018}, url = {https://eprint.iacr.org/2018/1057}, }