Michel Abdalla Manuel Barbosa Perfect Forward Security of SPAKE2. 1194 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/1194 db/journals/iacr/iacr2019.html#AbdallaB19