[Resource Topic] 2020/243: An Analysis of Hybrid Public Key Encryption

Resource Cryptographic protocols
#1

Welcome to the resource topic for 2020/243

Title:
An Analysis of Hybrid Public Key Encryption

Authors: 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).

ePrint: https://eprint.iacr.org/2020/243

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .

#2

Citing the note included on the eprint’s IACR page:

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 Analysing the HPKE Standard (IACR eprint 2020/1499, askcryp.to page). This document stays available because 2020/1499 only treats HPKE’s Auth mode.

The CryptoVerif code belonging to this eprint can be found on GitHub: GitHub - blipp/hpke-analysis-material. The code developed along with 2020/1499 is much more mature, so you might want to look at that.