Skip to Main content Skip to Navigation
Reports

An Analysis of Hybrid Public Key Encryption

Abstract : Hybrid Public Key Encryption (HPKE) is a cryptographicprimitive being standardized by the Crypto Forum Research Group (CFRG)within the Internet Research Task Force (IRTF). HPKE schemes combineasymmetric and symmetric cryptographic primitives for efficient authenti-cated encryption of arbitrary-sized plaintexts under a given recipient publickey. This document presents a mechanized cryptographic analysis done withCryptoVerif, of all four HPKE modes, instantiated with a prime-order-groupDiffie-Hellman Key Encapsulation Mechanism (KEM).
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/hal-03113221
Contributor : Benjamin Lipp Connect in order to contact the contributor
Submitted on : Monday, January 18, 2021 - 11:15:30 AM
Last modification on : Friday, January 21, 2022 - 3:15:41 AM
Long-term archiving on: : Monday, April 19, 2021 - 6:41:41 PM

File

2020-243.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03113221, version 1

Collections

LARA | INRIA | ANR

Citation

Benjamin Lipp. An Analysis of Hybrid Public Key Encryption. [Research Report] IACR Cryptology ePrint Archive. 2020. ⟨hal-03113221⟩

Share

Metrics

Les métriques sont temporairement indisponibles