Buscar en RiuNet

Listar

Mostrando ítems 1-3 de 3

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 ...
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 ...

Mostrando ítems 1-3 de 3