Analysis and verification of code-based key encapsulation mechanism BIKE in Maude

• Víctor García ^[1] ; Santiago Escobar ^[1]
  1. [1] Universidad Politécnica de Valencia

     Universidad Politécnica de Valencia

     Valencia, España

     
• Localización: Actas de las VIII Jornadas Nacionales de Investigación en Ciberseguridad: Vigo, 21 a 23 de junio de 2023 / coord. por Yolanda Blanco Fernández , Manuel Fernández Veiga , Ana Fernández Vilas , José María de Fuentes García-Romero de Tejada , 2023, ISBN 978-84-8158-970-2, págs. 421-428
• Idioma: inglés
• Enlaces
  • Texto Completo Libro