- -

Listar por autor "Akleylek, Sedat"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Akleylek, Sedat"

Ordenar por:Orden:Resultados:

  • thumb
    Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol 
    Tran, Duong Dinh; Ogata, Kazuhiro; Escobar Román, Santiago; Akleylek, Sedat; Otmani, Ayoub (Institute of Electrical and Electronics Engineers, 2024)
    [EN] Facing the quantum attack threat, a quantum-resistant version of the SSH Transport Layer protocol has been proposed and been standardized by an IETF working group. This standardization process has been motivated by ...
  • thumb
    Modelling and verification of post-quantum key encapsulation mechanisms using Maude 
    García, Víctor; Escobar Román, Santiago; Ogata, Kazuhiro; Akleylek, Sedat; Otmani, Ayoub (PeerJ, 2023-09-19)
    [EN] Communication and information technologies shape the world's systems of today, and those systems shape our society. The security of those systems relies on mathematical problems that are hard to solve for classical ...