Public-key encryption (PKE)

Public-key encryption scheme

Associated constants

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

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

$\mathcal{M}$: Message space (Set)

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

Abstract Functions

Key Generation

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

Generates a public and secret key pair.

Encryption

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

Encrypts a message using a public key.

Decryption

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

Decrypts a ciphertext using a secret key.

Incoming Relations

• ElGamal → PKE
• RSA → PKE