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