Santiago Escobar

• Colaboraciones en obras colectivas (3)

• Colaboraciones en obras colectivas

  • Modelling and verification of post-quantum key encapsulation mechanisms using Maude

    Víctor García, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, Ayoub Otmani

    IX Jornadas Nacionales de Investigación En Ciberseguridad, 2024, ISBN 978-84-09-62140-8, págs. 470-471

    • Texto Completo Libro
    

  • Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA

    Antonio González Burgueño, Damián Aparicio Sánchez, Santiago Escobar, Catherine Meadows, Jose Meseguer

    Actas de las V Jornadas Nacionales de Ciberseguridad: junio 5-7, 2019. Cáceres / coord. por Andrés Caro Lindo, Luis Javier García Villalba, Ana Lucila Sandoval Orozco, 2019, ISBN 978-84-09-12121-2, págs. 314-315

    • Texto Completo Libro
    

  • Maude-NPA version 3.1

    Santiago Escobar, Catherine Meadows, Jose Meseguer

    Actas de las Cuartas Jornadas Nacionales de Investigación en Ciberseguridad / Urko Zurutuza Ortega (ed. lit.), Mikel Iturbe Urretxa (ed. lit.), Enaitz Ezpeleta Gallastegui (ed. lit.), Iñaki Garitano Garitano (ed. lit.), 2018, ISBN 9788409026975, págs. 103-104

    • Texto Completo Libro  1    2  
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.