- -

Browsing by Author "Aparicio Sánchez, Damián"

RiuNet: Institutional repository of the Polithecnic University of Valencia

Browsing by Author "Aparicio Sánchez, Damián"

Sort by: Order: Results:

  • thumb
    An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA 
    Aparicio-Sánchez, Damián; Escobar Román, Santiago; Gutiérrez Gil, Raúl; Sapiña-Sanchis, Julia (Springer Nature, 2020-09-18)
    [EN] Maude-NPA is an analysis tool for cryptographic security protocols that takes into account the algebraic properties of the cryptosystem. Maude-NPA can reason about a wide range of cryptographic properties. However, ...
  • thumb
    Implementación de una interfaz gráfica para Maude-NPA 
    Aparicio Sánchez, Damián (Universitat Politècnica de València, 2016-09-30)
    [ES] Maude-NPA es una herramienta de verificación de protocolos criptográficos desarrollada por la University of Illinois at Urbana- Champaign (EE.UU.), el Navy Research Laboratory en Washington D.C. (EE.UU.) y la ...
  • thumb
    Mejoras en la interacción con la herramienta Maude-NPA 
    Aparicio Sánchez, Damián (Universitat Politècnica de València, 2017-10-26)
    [EN] The security in modern online services is increasingly more and more vulnerable to intruder attacks. Companies like Yubiko works on devices like Yubikey, a USB device that provides strong identification. In this ...
  • thumb
    Modeling and Analysis of Advanced Cryptographic Primitives and Security Protocols in Maude-NPA 
    Aparicio Sánchez, Damián (Universitat Politècnica de València, 2022-12-23)
    [ES] La herramienta criptográfica Maude-NPA es un verificador de modelos especializado para protocolos de seguridad criptográficos que tienen en cuenta las propiedades algebraicas de un sistema criptográfico. En la literatura, ...
  • thumb
    Protocol Analysis with Time 
    Aparicio-Sánchez, Damián; Escobar Román, Santiago; Meadows, Catherine; Meseguer, José; Sapiña-Sanchis, Julia (Springer, 2020-12-16)
    [EN] We present a framework suited to the analysis of cryptographic protocols that make use of time in their execution. We provide a process algebra syntax that makes time information available to processes, and a transition ...
  • thumb
    Variant-based Equational Unification under Constructor Symbols 
    Aparicio-Sánchez, Damián; Escobar Román, Santiago; Sapiña-Sanchis, Julia (Cambridge University Press, 2020-09-25)
    [EN] Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. A narrowing-based equational unification algorithm relying ...
  • thumb
    Verificación automática de un protocolo de voto electrónico 
    Acedo Arroyo, Josep Vicent (Universitat Politècnica de València, 2022-09-13)
    [ES] La seguridad y transparencia de los procesos electores son la garantía fundamental de la voluntad popular. Sin ellos es imposible la construcción y el mantenimiento de la democracia. Las nuevas tecnologías van ...