Damián Aparicio-Sánchez

According to our database, Damián Aparicio-Sánchez authored at least 5 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Protocol Analysis with Time and Space.

Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Variant-based Equational Unification under Constructor Symbols.

Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Protocol Analysis with Time.

Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña

Proceedings of the Progress in Cryptology - INDOCRYPT 2020, 2020

An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.

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

Proceedings of the Computer Security - ESORICS 2020, 2020

2018

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, José Meseguer

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018