Buscar en RiuNet

Listar

Mostrando ítems 1-3 de 3

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 ...
Modelado y verificación del mecanismo de encapsulación de claves post-cuánticas KYBER usando Maude

García Valero, Víctor (Universitat Politècnica de València, 2022-09-23)

[ES] Las tecnologías de la información y la comunicación dan forma a los sistemas del mundo de hoy, y esos sistemas dan forma a la sociedad en la que vivimos. La seguridad de esos sistemas se basa en problemas matemáticos ...
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude

García, Víctor; Escobar Román, Santiago; Ogata, Kazuhiro (Sun SITE Central Europe, 2022)

[EN] Communication and information technologies shape the world¿s systems of today, and those systems shape the society we live in. The security of those systems relay on mathematical problems hard to solve for classical ...

Mostrando ítems 1-3 de 3