10.5281/zenodo.5500396
https://zenodo.org/records/5500396
oai:zenodo.org:5500396
Joël Alwen
Joël Alwen
Wickr
Bruno Blanchet
Bruno Blanchet
Inria
Eduard Hauck
Eduard Hauck
0000-0001-8691-6754
Ruhr-Universität Bochum
Eike Kiltz
Eike Kiltz
0000-0003-1178-048X
Ruhr-Universität Bochum
Benjamin Lipp
Benjamin Lipp
0000-0001-7827-5520
Inria
Doreen Riepel
Doreen Riepel
Ruhr-Universität Bochum
Analysing the HPKE Standard – Supplementary Material
Zenodo
2021
cryptography
formal methods
public-key encryption
authentication
signcryption
key encapsulation mechanisms
2021-09-10
https://github.com/Inria-Prosecco/hpke-analysis-suppl-material/releases/tag/v2.0
10.5281/zenodo.4297811
https://zenodo.org/communities/eu
v2.0
CeCILL-B Free Software License Agreement
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, Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy – EXC 2092 CASA – 390781972, ERC CIRCUS (grant agreement no 683032).
European Commission
10.13039/501100000780
683032
An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications