Analysing the HPKE Standard - Supplementary Material. (Version v2.0) - Alwen, Joël; Blanchet, Bruno; Hauck, Eduard; Kiltz, Eike; Lipp, Benjamin; Riepel, Doreen (Zenodo, 2021)