Back to matchesWe found a matchYour institution may have rights to this item. Sign in to continue.TitleModelling and verification of post-quantum key encapsulation mechanisms using Maude.AuthorsGarcía, Víctor; Escobar, Santiago; Kazuhiro Ogata; Akleylek, Sedat; Otmani, AyoubPublicationPeerJ Computer Science, 2023, p1ISSN2376-5992Publication typeArticleDOI10.7717/peerj-cs.1547