- idUS
- Listar por autor
Listar por autor "Akleylek, Sedat"
Mostrando ítems 1-1 de 1
-
Ponencia
Modelling and verification of post-quantum key encapsulation mechanisms using Maude [Póster]
García, Victor; Escobar, Santiago; Ogata, Kazuhiro; Akleylek, Sedat; Otmani, Ayoub (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)The security of information systems relies on math ematical problems that are hard to solve. Quantum computing threatens ...