Software Open Access

Analysing the HPKE Standard – Supplementary Material

Joël Alwen; Bruno Blanchet; Eduard Hauck; Eike Kiltz; Benjamin Lipp; Doreen Riepel

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.

Funding: ANR TECAP (decision number ANR-17-CE39-0004-03), DFG SPP 1736 Big Data, BMBF iBlockchain, EU H2020 PROMETHEUS project 780701, DFG Cluster of Excellence 2092 CASA, ERC CIRCUS (grant agreement no 683032).
Files (182.6 kB)
Name Size
blipp/hpke-analysis-suppl-material-v1.0.zip
md5:c7288855b2e36d1654087a95af820068 		182.6 kB Download
16
0
views
downloads
All versions This version
Views 1616
Downloads 00
Data volume 0 Bytes0 Bytes
Unique views 1010
Unique downloads 00
More info on how stats are collected.
Available in Indexed in
Publication date:
November 30, 2020
DOI:
10.5281/zenodo.4297812

Zenodo DOI Badge

DOI 

10.5281/zenodo.4297812

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4297812.svg)](https://doi.org/10.5281/zenodo.4297812)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4297812.svg
   :target: https://doi.org/10.5281/zenodo.4297812

HTML 

<a href="https://doi.org/10.5281/zenodo.4297812"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4297812.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4297812.svg

Target URL 

https://doi.org/10.5281/zenodo.4297812

Keyword(s):
cryptography formal methods public-key encryption authentication signcryption key encapsulation mechanisms
Grants:
European Commission:
  • CIRCUS - An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications (683032)
Related identifiers:
Supplement to
License (for files):
CeCILL-B Free Software License Agreement

Versions

Version v1.0 10.5281/zenodo.4297812 Nov 30, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4297811. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export