Paper 2020/243 Original: eprint.iacr.org/2020/243 ↗
An Analysis of Hybrid Public Key Encryption
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).
Metadata
- Available format(s)
PDF- Category
- Cryptographic protocols
- Publication info
- Preprint.
- History
- 2020-12-02: last updated
- 2020-02-25: published
- Short URL
- https://ia.cr/2020/243
- License
- https://creativecommons.org/licenses/by/4.0/
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}
}