Damián Aparicio-Sánchez

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 6

Top Topics

Function Symbols

Formal Verification

Theorem Proving

Top Venues

ICLP Technical Communications

Protocols, Strands, and Logic

Publications

Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time and Space. Protocols, Strands, and Logic (2021)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time. CoRR (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time. INDOCRYPT (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Raúl Gutiérrez, Julia Sapiña
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA. ESORICS (2) (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña
Variant-based Equational Unification under Constructor Symbols. ICLP Technical Communications (2020)
Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR (2018)