@misc{cryptoeprint:2019:1203, author = {Cyprien Delpech de Saint Guilhem and Marc Fischlin and Bogdan Warinschi}, title = {Authentication in Key-Exchange: Definitions, Relations and Composition}, howpublished = {Cryptology ePrint Archive, Report 2019/1203}, year = {2019}, url = {https://eprint.iacr.org/2019/1203}, }