E-LIB Suche - Ergebnisse für: Aparicio-Sánchez, Damián

1

Protocol Analysis with Time and Space:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,

Aparicio-Sánchez, Damián ; Escobar, Santiago ; Meadows, Catherine.. - p. 22-49 , 2021

Link: https://doi.org/10.1007/..

2

An Optimizing Protocol Transformation for Constructor Finit..:

, In: Computer Security – ESORICS 2020; Lecture Notes in Computer Science,

Aparicio-Sánchez, Damián ; Escobar, Santiago ; Gutiérrez, Raúl. - p. 230-250 , 2020

Link: https://doi.org/10.1007/..

3

Protocol Analysis with Time:

, In: Progress in Cryptology – INDOCRYPT 2020; Lecture Notes in Computer Science,

Aparicio-Sánchez, Damián ; Escobar, Santiago ; Meadows, Catherine.. - p. 128-150 , 2020

Link: https://doi.org/10.1007/..

4

Protocol Analysis with Time:

Aparicio-Sánchez, Damián ; Escobar, Santiago ; Meadows, Catherine..
http://arxiv.org/abs/2010.13707. , 2020

Link: http://arxiv.org/abs/201..

5

An Optimizing Protocol Transformation for Constructor Finit..:

Aparicio-Sánchez, Damián ; Escobar Román, Santiago ; Gutiérrez Gil, Raúl.
Computer Security - ESORICS 2020. 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14¿18, 2020, Proceedings, Part II. , 2020

Link: http://hdl.handle.net/10..

6

Variant-based Equational Unification under Constructor Symb..:

Aparicio-Sánchez, Damián ; Escobar, Santiago ; Sapiña, Julia
http://arxiv.org/abs/2009.11070. , 2020

Link: http://arxiv.org/abs/200..

7

Variant-based Equational Unification under Constructor Symb..:

Aparicio-Sánchez, Damián ; Escobar Román, Santiago ; Sapiña-Sanchis, Julia
36th International Conference on Logic Programming Special Issue I. Volume 20 - Issue 5 - September 2020. , 2020

Link: http://hdl.handle.net/10..

8

Protocol Analysis with Time:

Aparicio-Sánchez, Damián ; Escobar Román, Santiago ; Meadows, Catherine..
Progress in Cryptology - INDOCRYPT 2020: 21st International Conference on Cryptology in India, Bangalore, India, December 13¿16, 2020, Proceedings. Lecture Notes in Computer Science, volumen 12578. , 2020

Link: http://hdl.handle.net/10..

9

The international PIACO study: pattern of surgical approach..:

Guadalajara, Hector ; Yiasemidou, Marina ; Muñoz de Nova, José Luis...
BJS Open. 6 (2022) 4 - p. , 2022

Link: https://doi.org/10.1093/..

10

Modeling and Analysis of Advanced Cryptographic Primitives ..:

Aparicio Sánchez, Damián
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/. , 2022

Link: http://hdl.handle.net/10..

11

Mejoras en la interacción con la herramienta Maude-NPA:

Aparicio Sánchez, Damián
http://hdl.handle.net/10251/90079. , 2017

Link: http://hdl.handle.net/10..

12

Implementación de una interfaz gráfica para Maude-NPA:

Aparicio Sánchez, Damián
http://hdl.handle.net/10251/70781. , 2016

Link: http://hdl.handle.net/10..

13

Recursos para la virtualización de prácticas de laboratorio..:

Córdoba Díaz, Damián ; Fraguas Sánchez, Ana Isabel ; Córdoba Díaz, Manuel...
Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología. , 2021

Link: https://doi.org/10.24215..

14

Efficacy and safety of intramuscular administration of allo..:

Barbara Soria-Juan ; Mariano Garcia-Arranz ; Lucía Llanos Jiménez...
https://doi.org/10.1186/s13063-021-05430-2. , 2021

Link: https://doi.org/10.1186/..

15

Recursos para la virtualización de prácticas de laboratorio..:

Damián Córdoba Díaz ; Ana Isabel Fraguas Sánchez ; Manuel Córdoba Díaz...
https://teyet-revista.info.unlp.edu.ar/TEyET/article/view/1494. , 2021

Link: https://doi.org/10.24215..