Piotr Krasnowski, Jérôme Lebrun, Bruno Martin. Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communication. In Steven Furnell, Paolo Mori, Edgar R. Weippl, Olivier Camp, editors, Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020. pages 683-690, SCITEPRESS, 2020. [doi]
Abstract is missing.