Subversion-resilient Key-exchange in the Post-quantum World. - Kévin Duverger; Pierre-Alain Fouque; Charlie Jacomme; Guilhem Niot; Cristina Onete (CCS, 2025)