ListarJornadas y Congresos US por materia "Formal verification"
Mostrando ítems 1-1 de 1
-
Ponencia
Modelling and verification of post-quantum key encapsulation mechanisms using Maude [Póster]
(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 ...