Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude.

Vctor Garca, Santiago Escobar, Kazuhiro Ogata

Browse the full ICFEM paper archive.