Ir al contenido

Documat


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 Árbol académico, Manuel Fernández Veiga Árbol académico, Ana Fernández Vilas Árbol académico, José María de Fuentes García-Romero de Tejada Árbol académico, 2023, ISBN 978-84-8158-970-2, págs. 421-428
  • Idioma: inglés
  • Enlaces

Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno