1. 2019-03-27 [Cfrg] proofs for augmented PAKEs cfrg Björn_Haase 2. 2019-03-27 [Cfrg] proofs for augmented PAKEs cfrg Hugo Krawczyk