Integrity Analysis of Authenticated Encryption Based on Stream Ciphers
The Security and Performance of the Galois/Counter Mode (GCM) of Operation