Published August 6, 2022 | Version v3.0
Software Open

Analysing the HPKE Standard – Supplementary Material

Creators

  • 1. Wickr
  • 2. Inria
  • 3. Ruhr-Universität Bochum

Description

This is supplementary material accompanying the paper “Analysing the HPKE Standard” by Joël Alwen, Bruno Blanchet, Eduard Hauck, Eike Kiltz, Benjamin Lipp, and Doreen Riepel.

Notes

Funding: ANR TECAP (decision number ANR-17-CE39-0004-03), DFG SPP 1736 Big Data, BMBF iBlockchain, EU H2020 PROMETHEUS project 780701, Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy – EXC 2092 CASA – 390781972, ERC CIRCUS (grant agreement no 683032).

Files

hpke-analysis-suppl-material-3.0.zip

Files (190.6 kB)

Name Size Download all
md5:12bb1808354b1ab849ece74f210d5009
190.6 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/Inria-Prosecco/hpke-analysis-suppl-material/releases/tag/v3.0 (URL)

Funding

CIRCUS – An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications 683032
European Commission