Provably secure KEM-based protocols over unauthenticated channels. - Rodrigo Martín Sánchez-Ledesma; David Domingo Martín; Iván Blanco-Chacón; Ignacio Luengo Velasco (CoRR, 2023)