Kazuya Imamura, Kazuhiko Minematsu, Tetsu Iwata. Integrity Analysis of Authenticated Encryption Based on Stream Ciphers. In Liqun Chen, Jinguang Han, editors, Provable Security - 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings. Volume 10005 of Lecture Notes in Computer Science, pages 257-276, 2016. [doi]
Abstract is missing.