Santiago Escobar 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ayoub Otmani

> Home > Persons > Santiago Escobar 0001

Publications

2024
[j28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/TranOEAO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/TranOEAO24
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani:
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol. IEEE Access 12: 1672-1687 (2024)
2023
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iet-ifs/TranOEAO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-ifs/TranOEAO23
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani:
Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude. IET Inf. Secur. 2023: 1-17 (2023)
[j24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/peerj-cs/GarciaEOAO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/peerj-cs/GarciaEOAO23
Víctor García, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, Ayoub Otmani:
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. PeerJ Comput. Sci. 9: e1547 (2023)
2022
[c90]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icfem/Tran00AO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Tran00AO22
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani:
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. FAVPQC@ICFEM 2022: 16-31
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/TranOEAO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/TranOEAO22
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani:
Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. SEKE 2022: 382-387
[e14]
- view
- export record
  dblp key:
  - conf/icfem/2022favqpc
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/2022favqpc
Sedat Akleylek, Santiago Escobar, Kazuhiro Ogata, Ayoub Otmani:
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Madrid, Spain, October 24, 2022. CEUR Workshop Proceedings 3280, CEUR-WS.org 2022 [contents]

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.