Login / Signup
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude.
Víctor García
Santiago Escobar
Kazuhiro Ogata
Published in:
FAVPQC@ICFEM (2022)
Keyphrases
</>
high security
formal specification
model checking
real time
data mining
selection mechanism
colored petri nets
information retrieval
image processing
database systems
multiscale
multi agent systems
object oriented databases
modeling method
quantum mechanics