E-LIB Suche - Ergebnisse für: Escobar, Santiago

1

Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Tra..:

Tran, Duong Dinh ; Ogata, Kazuhiro ; Escobar, Santiago..
IEEE Access. 12 (2024) - p. 1672-1687 , 2024

Link: https://doi.org/10.1109/..

2

Symbolic Analysis by Using Folding Narrowing with Irreducib..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,

Escobar, Santiago ; López-Rueda, Raúl ; Sapiña, Julia - p. 14-25 , 2023

Link: https://dl.acm.org/doi/1..

3

Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation M..:

Tran, Duong Dinh ; Ogata, Kazuhiro ; Escobar, Santiago...
IET Information Security. 2023 (2023) - p. 1-17 , 2023

Link: https://doi.org/10.1049/..

4

An efficient canonical narrowing implementation with irredu..:

López-Rueda, Raúl ; Escobar, Santiago ; Sapiña, Julia
Journal of Logical and Algebraic Methods in Programming. 135 (2023) - p. 100895 , 2023

Link: https://doi.org/10.1016/..

5

Analysis and verification of code-based key encapsulation m..:

, In: 2023 JNIC Cybersecurity Conference (JNIC),

Garcia, Victor ; Escobar, Santiago - p. 1-8 , 2023

Link: https://doi.org/10.23919..

6

Proceedings of the 25th International Symposium on Principl..:

Escobar, Santiago ; Vasconcelos, Vasco T. , 2023

Link: https://dl.acm.org/doi/1..

7

Impact of healthcare capacity disparities on the COVID-19 v..:

Cuadros, Diego F. ; Gutierrez, Juan D. ; Moreno, Claudia M....
The Lancet Regional Health - Americas. 18 (2023) - p. 100409 , 2023

Link: https://doi.org/10.1016/..

8

Strand Spaces with Choice via a Process Algebra Semantics:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Yang, Fan ; Escobar, Santiago ; Meadows, Catherine.. - p. 307-350 , 2023

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

9

Optimizing Maude Programs via Program Specialization:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Alpuente, María ; Ballis, Demis ; Escobar, Santiago.. - p. 21-50 , 2023

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

10

Modelling and verification of post-quantum key encapsulatio..:

García, Víctor ; Escobar, Santiago ; Ogata, Kazuhiro..
PeerJ Computer Science. 9 (2023) - p. e1547 , 2023

Link: https://doi.org/10.7717/..

11

Variant-Based Equational Anti-unification:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Alpuente, María ; Ballis, Demis ; Escobar, Santiago. - p. 44-60 , 2022

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

12

An Efficient Canonical Narrowing Implementation for Protoco..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

López-Rueda, Raúl ; Escobar, Santiago ; Meseguer, José - p. 151-170 , 2022

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

13

Canonical Narrowing for Variant-Based Conditional Rewrite T..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

López-Rueda, Raúl ; Escobar, Santiago - p. 20-35 , 2022

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

14

Canonical Narrowing with Irreducibility and SMT Constraints..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

López-Rueda, Raúl ; Escobar, Santiago - p. 45-64 , 2022

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

15

Symbolic Specialization of Rewriting Logic Theories with Pr..:

ALPUENTE, MARÍA ; ESCOBAR, SANTIAGO ; SAPIÑA, JULIA.
Theory and Practice of Logic Programming. 22 (2022) 3 - p. 444-495 , 2022

Link: https://doi.org/10.1017/..