Module Cipher_block.S

Module types for various block cipher modes of operation.

module type ECB = sig ... end

Electronic Codebook "mode".

module type CBC = sig ... end

Cipher-block chaining mode.

module type CTR = sig ... end

Counter mode.

module type GCM = sig ... end

Galois/Counter Mode.

module type CCM = sig ... end

Counter with CBC-MAC mode.