Damián Aparicio Sánchez

• Colaboraciones en obras colectivas (2)
• Tesis (1)

• Colaboraciones en obras colectivas

  • An Optimizing Protocol Transformation forConstructor Finite Variant Theories in Maude-NPA

    Damián Aparicio Sánchez, Santiago Escobar, Julia Sapiña Sanchis, Raúl Gutiérrez Gil

    Investigación en Ciberseguridad Actas de las VII Jornadas Nacionales (7º.2022.Bilbao) / José María de Fuentes (ed. lit.), Lorena González Manzano (ed. lit.), José Carlos Sancho Núñez (ed. lit.), Ana Ayerbe (ed. lit.), Luz Marisa Alcocer Escalante (ed. lit.), 2022, ISBN 978-84-88734-13-6, págs. 288-289

    • 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
    

• Tesis

  • Modeling and analysis of advanced cryptographic primitives and security protocols in maude-npa

    Damián Aparicio Sánchez

    Tesis doctoral dirigida por Santiago Escobar Román (dir. tes.). Universitat Politècnica de València (2022).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    

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.