Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Damián Aparicio-Sánchez

Damián Aparicio

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Aparicio-Sanchez21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Aparicio-Sanchez21
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time and Space. Protocols, Strands, and Logic 2021: 22-49
2020
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/Aparicio-Sanchez20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/Aparicio-Sanchez20
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: 230-250
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/indocrypt/Aparicio-Sanchez20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indocrypt/Aparicio-Sanchez20
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. INDOCRYPT 2020: 128-150
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-11070
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-11070
Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña:
Variant-based Equational Unification under Constructor Symbols. ICLP Technical Communications 2020: 38-51
2018
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Gonzalez-Burgueno18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Gonzalez-Burgueno18
Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer:
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR 2018: 400-417

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-13707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-13707
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. CoRR abs/2010.13707 (2020)
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-07209
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-07209
Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine Meadows, José Meseguer:
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. CoRR abs/1806.07209 (2018)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.