The Galois/Counter Mode of Operation (GCM)
a concrete security treatment of symmet - ric encryption : analysis of the des modes of operation .