Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude.

Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani

Browse the full SEKE paper archive.