Integrity Analysis of Authenticated Encryption Based on Stream Ciphers.

Kazuya Imamura, Kazuhiko Minematsu, Tetsu Iwata

Browse the full ProvSec paper archive.