Decryption (source code)

= Decryption
{title2=$D_k(c)$}

Recovery of a <plaintext> from a <ciphertext> using an appropriate key. Correctness requires the <decryption> operation to invert the specified <encryption> operation on supported messages.