Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude - Duong Dinh Tran; Kazuhiro Ogata; Santiago Escobar; Sedat Akleylek; Ayoub Otmani (IET Information Security, 2023)