Santiago Escobar
Universidad Politécnica de València
H-index: 31
Europe-Spain
Top articles of Santiago Escobar
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Symbolic Analysis of Maude Theories with Narval∗(system description) | MARÍA ALPUENTE SANTIAGO ESCOBAR JULIA SAPI NA DEMIS BALLIS | 2024/5/1 | |
Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023 | Santiago Escobar Ayoub Otmani Sedat Akleylek Kazuhiro Ogata | 2024/2/26 | |
Formal analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol | IEEE Access | Duong Dinh Tran Kazuhiro Ogata Santiago Escobar Sedat Akleylek Ayoub Otmani | 2023/12/28 |
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version | PeerJ Computer Science | Duong Dinh Tran Canh Minh Do Santiago Escobar Kazuhiro Ogata | 2023/9/22 |
Modelling and verification of post-quantum key encapsulation mechanisms using Maude | PeerJ Computer Science | Víctor García Santiago Escobar Kazuhiro Ogata Sedat Akleylek Ayoub Otmani | 2023/9/19 |
Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude | IET Information Security | Duong Dinh Tran Kazuhiro Ogata Santiago Escobar Sedat Akleylek Ayoub Otmani | 2023/10/30 |
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints | Santiago Escobar Raúl López-Rueda Julia Sapiña | 2023/10/18 | |
Analysis and verification of code-based key encapsulation mechanism BIKE in Maude | Víctor García Santiago Escobar | 2023/6/21 | |
Safety enforcement via programmable strategies in Maude | Journal of Logical and Algebraic Methods in Programming | María Alpuente Demis Ballis Santiago Escobar D Galán Julia Sapiña | 2023/4/1 |
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis | Journal of Logical and Algebraic Methods in Programming | Raúl López-Rueda Santiago Escobar Julia Sapiña | 2023/10/1 |
Protocol Dialects as Formal Patterns | Daniel Galán V García S Escobar Catherine Meadows José Meseguer | 2023/9/25 | |
Hybrid post-quantum tls formal specification in maude-npa-toward its security analysis? | Proceedings http://ceur-ws. org ISSN | Duong Dinh Tran Canh Minh Do Santiago Escobar Kazuhiro Ogata | 2022 |
Order-sorted equational generalization algorithm revisited | Annals of Mathematics and Artificial Intelligence | María Alpuente Santiago Escobar José Meseguer Julia Sapina | 2022/5/1 |
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. | Duong Dinh Tran Kazuhiro Ogata Santiago Escobar Sedat Akleylek Ayoub Otmani | 2022/10/24 | |
A partial evaluation methodology for optimizing rewrite theories incrementally | MethodsX | María Alpuente Demis Ballis Santiago Escobar Daniel Galán Pascual Julia Sapiña | 2022/1/1 |
Symbolic Specialization of Rewriting Logic Theories with Presto | Theory and Practice of Logic Programming | Maria Alpuente Santiago Escobar Julia Sapina Demis Ballis | 2022/5 |
Canonical narrowing for variant-based conditional rewrite theories | Raúl López-Rueda Santiago Escobar | 2022/10/10 | |
Parallel Maude-NPA for cryptographic protocol analysis | Canh Minh Do Adrián Riesco Santiago Escobar Kazuhiro Ogata | 2022/4/2 | |
Crypto Protocol Analysis With Time and Space | D Aparicio-Sánchez S Escobar C Meadows J Meseguer J Sapina | 2022/9/30 | |
Canonical narrowing with irreducibility and SMT constraints as a generic symbolic protocol analysis method | Raúl López-Rueda Santiago Escobar | 2022/4/2 |