Paper 2020/243
An Analysis of Hybrid Public Key Encryption
Benjamin Lipp
Abstract
Hybrid Public Key Encryption (HPKE) is a cryptographic primitive being standardized by the Crypto Forum Research Group (CFRG) within the Internet Research Task Force (IRTF). HPKE schemes combine asymmetric and symmetric cryptographic primitives for efficient authenticated encryption of arbitrary-sized plaintexts under a given recipient public key. This document presents a mechanized cryptographic analysis done with CryptoVerif, of all four HPKE modes, instantiated with a prime-order-group Diffie-Hellman Key Encapsulation Mechanism (KEM).
Note: This analysis is superseded by the more detailed analysis available in “Analysing the HPKE Standard” by J. Alwen, B. Blanchet, E. Hauck, E. Kiltz, B. Lipp, D. Riepel available at https://eprint.iacr.org/2020/1499. This document stays available because 2020/1499 only treats HPKE's Auth mode.
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- Preprint.
- Keywords
- public-key cryptographyhybrid encryptionformal verificationCryptoVerif
- Contact author(s)
- benjamin lipp @ inria fr
- History
- 2020-12-02: last of 2 revisions
- 2020-02-25: received
- See all versions
- Short URL
- https://ia.cr/2020/243
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2020/243,
author = {Benjamin Lipp},
title = {An Analysis of Hybrid Public Key Encryption},
howpublished = {Cryptology {ePrint} Archive, Paper 2020/243},
year = {2020},
url = {https://eprint.iacr.org/2020/243}
}
