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, Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy – EXC 2092 CASA – 390781972, ERC CIRCUS (grant agreement no 683032).
Files
(190.6 kB)
| Name | Size | |
|---|---|---|
|
hpke-analysis-suppl-material-3.0.zip
md5:12bb1808354b1ab849ece74f210d5009 |
190.6 kB | Download |
247
35
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 247 | 53 |
| Downloads | 35 | 6 |
| Data volume | 6.4 MB | 1.1 MB |
| Unique views | 209 | 50 |
| Unique downloads | 33 | 6 |
Available in
Indexed in
Indexed in
- Publication date:
- August 6, 2022
- DOI:
-
- 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