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

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

Browse the full ICFEM paper archive.