Key Encapsulation Mechanism (KEM)

A key encapsulation mechanism is a method for securely exchanging keys over an insecure channel.

Associated constants

$\mathcal{PK}$: Public key space (Set)

$\mathcal{SK}$: Secret key space (Set)

$\mathcal{C}$: Ciphertext space (Set)

$\mathcal{K}$: Key space (Set)

Abstract Functions

Key Generation

$ KeyGen : \rightarrow \mathcal{PK} \times \mathcal{SK} $

Generates a public and secret key pair.

Encapsulation

$ Enc : \mathcal{PK} \rightarrow \mathcal{C} \times \mathcal{K} $

Encapsulates a fresh key using a public key.

Decapsulation

$ Dec : \mathcal{SK} \times \mathcal{C} \rightarrow \mathcal{K} $

Decapulates the fresh key from a ciphertext using a secret key.

Incoming Relations

• FO Transform → KEM