Modelling and verification of post-quantum key encapsulation mechanisms using Maude
Víctor García,
Santiago Escobar,
Kazuhiro Ogata,
Sedat Akleylek,
Ayoub Otmani
1,220 views · 20 downloads
Quantum-effective exact multiple patterns matching algorithms for biological sequences
Kapil Kumar Soni,
Akhtar Rasool
1,150 views · 122 downloads
Graph coloring using the reduced quantum genetic algorithm
Sebastian Mihai Ardelean,
Mihai Udrescu
2,093 views · 419 downloads