A Tale of Two Worlds, a Formal Story of WireGuard Hybridization

Authors: 

Pascal Lafourcade and Dhekra Mahmoud, Université Clermont Auvergne, CNRS, Clermont Auvergne INP, Mines Saint-Etienne, LIMOS, 63000 Clermont-Ferrand, France; Sylvain Ruhault and Abdul Rahman Taleb, Agence Nationale de la Sécurité des Systèmes d'Information (ANSSI), France