Guilhem, Cyprien Delpech de SaintCyprien Delpech de SaintGuilhemFischlin, MarcMarcFischlinWarinschi, BogdanBogdanWarinschi2021-12-162021-11-022021-12-1620201940-1434WOS:000621174200020https://imec-publications.be/handle/20.500.12860/38176Authentication in Key-Exchange: Definitions, Relations and CompositionProceedings paper10.1109/CSF49147.2020.00028978-1-7281-6572-1WOS:000621174200020SECUREPROTOCOLSMODELS