Piotr Krasnowski, Jerome Lebrun, Bruno Martin. Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communication.
6th International Conference on Information Systems Security and Privacy, Feb 2020, Valletta, France. pp.683-690,
⟨10.5220/0009156506830690⟩.
⟨hal-02863193⟩