Login / Signup
Modelling and verification of post-quantum key encapsulation mechanisms using Maude.
Víctor García
Santiago Escobar
Kazuhiro Ogata
Sedat Akleylek
Ayoub Otmani
Published in:
PeerJ Comput. Sci. (2023)
Keyphrases
</>
high security
quantum computing
neural network
relational databases
face verification
quantum computation
real world
artificial intelligence
expert systems
object oriented databases
formal verification
quantum mechanics
mechanisms underlying
quantum inspired