View source for Public Key Encryption

'''Public Key Enchamism''' (PKE) is a quadruple of algorithms <math>\mathcal{K} = \{\text{Setup}, \text{KeyGen}, \text{Encaps},
\text{Decaps}\}</math> and a corresponding key space <math>K</math>, a ciphertext space <math>\text{C}</math> with 
# The parameter generation <math>\text{Setup}</math> algorithm takes input <math>1^k</math>, where <math>k \in \mathbb{N}</math> is the security parameter and return global parameter <math>\pi</math>.
# The key generation <math>\text{KeyGen}</math> algorithm takes input param <math>\pi</math> and returns a public and secret-key pair (<math>\text{pk},\text{sk}</math>).
# The encryption <math>\text{Enc}</math> algorithm takes <math>1^k,\pi,pk</math> and a message <math>M\in(0,1)^*</math> and returns a ciphertext <math>c \in C</math>.
# The deterministic decryption <math>\text{Dec}(sk,c)</math> algorithm takes <math>1^k,\pi,sk,c</math> and returns a message <math>M \cup \{\perp \}</math>, with <math>\perp</math> denoting as a failure.