Ayoub Otmani

Modelling and verification of post-quantum key encapsulation mechanisms using Maude

2023 · PeerJ Computer Science

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 computers, that is, …