Efficient and Quantum-safe Internet Key Exchange Protocols for Satellite Communications. - Davide De Zuane; Marco Baldi; Paolo Santini; Grégoire Anchelergues; Daniele Romano; Alessandro Cammarano; Juan J. Grosso (CoRR, 2026)