Integrated Encryption Scheme

(Learn how and when to remove this template message)

Integrated Encryption Scheme (IES) is a hybrid encryption scheme which provides semantic security against an adversary who is able to use chosen-plaintext or chosen-ciphertext attacks. The security of the scheme is based on the computational Diffie–Hellman problem.
Two variants of IES are specified: Discrete Logarithm Integrated Encryption Scheme (DLIES) and Elliptic Curve Integrated Encryption Scheme (ECIES), which is also known as the Elliptic Curve Augmented Encryption Scheme or simply the Elliptic Curve Encryption Scheme. These two variants are identical up to the change of an underlying group[clarification needed].

Informal description of DLIES

As a brief and informal description and overview of how IES works, a Discrete Logarithm Integrated Encryption Scheme (DLIES) is used, focusing on illuminating the reader's understanding, rather than precise technical details.

  1. Alice learns Bob's public key g x {\displaystyle g^{x}} through a public key infrastructure or some other distribution method.
    Bob knows his own private key x {\displaystyle x} .
  2. Alice generates a fresh, ephemeral value y {\displaystyle y} , and its associated public value g y {\displaystyle g^{y}} .
  3. Alice then computes a symmetric key k {\displaystyle k} using this information and a key derivation function (KDF) as follows: k = KDF ( g x y ) {\displaystyle k={\textrm {KDF}}(g^{xy})}
  4. Alice computes her ciphertext c {\displaystyle c} from her actual message m {\displaystyle m} (by symmetric encryption of m {\displaystyle m} ) encrypted with the key k {\displaystyle k} (using an authenticated encryption scheme) as follows: c = E ( k ; m ) {\displaystyle c=E(k;m)}
  5. Alice transmits (in a single message) both the public ephemeral g y {\displaystyle g^{y}} and the ciphertext c {\displaystyle c} .
  6. Bob, knowing x {\displaystyle x} and g y {\displaystyle g^{y}} , can now compute k = KDF ( g x y ) {\displaystyle k={\textrm {KDF}}(g^{xy})} and decrypt m {\displaystyle m} from c {\displaystyle c} .

Note that the scheme does not provide Bob with any assurance as to who really sent the message: This scheme does nothing to stop anyone from pretending to be Alice.

Formal description of ECIES

Required information

To send an encrypted message to Bob using ECIES, Alice needs the following information:

Encryption

To encrypt a message m {\displaystyle m} Alice does the following:

  1. generates a random number r [ 1 , n 1 ] {\displaystyle r\in [1,n-1]} and calculates R = r G {\displaystyle R=rG}
  2. derives a shared secret: S = P x {\displaystyle S=P_{x}} , where P = ( P x , P y ) = r K B {\displaystyle P=(P_{x},P_{y})=rK_{B}} (and P O {\displaystyle P\neq O} )
  3. uses a KDF to derive symmetric encryption keys and MAC keys: k E k M = KDF ( S S 1 ) {\displaystyle k_{E}\|k_{M}={\textrm {KDF}}(S\|S_{1})}
  4. encrypts the message: c = E ( k E ; m ) {\displaystyle c=E(k_{E};m)}
  5. computes the tag of encrypted message and S 2 {\displaystyle S_{2}} : d = MAC ( k M ; c S 2 ) {\displaystyle d={\textrm {MAC}}(k_{M};c\|S_{2})}
  6. outputs R c d {\displaystyle R\|c\|d}

Decryption

To decrypt the ciphertext R c d {\displaystyle R\|c\|d} Bob does the following:

  1. derives the shared secret: S = P x {\displaystyle S=P_{x}} , where P = ( P x , P y ) = k B R {\displaystyle P=(P_{x},P_{y})=k_{B}R} (it is the same as the one Alice derived because P = k B R = k B r G = r k B G = r K B {\displaystyle P=k_{B}R=k_{B}rG=rk_{B}G=rK_{B}} ), or outputs failed if P = O {\displaystyle P=O}
  2. derives keys the same way as Alice did: k E k M = KDF ( S S 1 ) {\displaystyle k_{E}\|k_{M}={\textrm {KDF}}(S\|S_{1})}
  3. uses MAC to check the tag and outputs failed if d MAC ( k M ; c S 2 ) {\displaystyle d\neq {\textrm {MAC}}(k_{M};c\|S_{2})}
  4. uses symmetric encryption scheme to decrypt the message m = E 1 ( k E ; c ) {\displaystyle m=E^{-1}(k_{E};c)}

References

  • v
  • t
  • e
Algorithms
Integer factorization
Discrete logarithm
Lattice/SVP/CVP/LWE/SIS
Others
Theory
Standardization
Topics
  • v
  • t
  • e
General
Mathematics
  • Category