package mirage-crypto

  1. Overview
  2. Docs

Module types for various block cipher modes of operation.

Raw block cipher in all its glory.

Make absolutely sure to check the arguments. Behavior is unspecified on invalid inputs.

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 CCM16 = sig ... end

Counter with CBC-MAC mode.


Innovation. Community. Security.