Damián Aparicio-Sánchez | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Santiago Escobar
11 publications
José Meseguer
8 publications
Julia Sapiña
7 publications
Catherine Meadows
4 publications

research

∙ 10/26/2020

Protocol Analysis with Time

We present a framework suited to the analysis of cryptographic protocols...

0 Damián Aparicio-Sánchez, et al. ∙

research

∙ 09/22/2020

Variant-based Equational Unification under Constructor Symbols

Equational unification of two terms consists of finding a substitution t...

0 Damián Aparicio-Sánchez, et al. ∙