Integrity Analysis of Authenticated Encryption Based on Stream Ciphers
ChaCha20 and Poly1305 for IETF Protocols