Authenticated encryption

A symmetric-key encryption scheme that provides both message confidentiality and ciphertext integrity, so that decryption rejects every ciphertext not produced by a holder of the key.

TODO: syntax and security definition.

Participates in

Builds on Authenticated encryption