Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "García Valero, Víctor"

Mostrando ítems 1-4 de 4

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 ...
Modelado y verificación del protocolo de exclusión mutua con tiempo real Fischer usando Maude

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

[ES] En el siguiente trabajo modelamos el protocolo de exclusión mutua con tiempo real Fischer como un módulo de sistema mediante el lenguaje de especificación y verificación Maude. Hacemos uso del alcance de la generación ...
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-4 de 4

Listar por autor "García Valero, Víctor"

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

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Ayuda RiuNet

Admin. UPV

Listar por autor "García Valero, Víctor"