FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes

From MaRDI portal