Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude

Saved in:

Bibliographic Details
Published in:	IET Information Security Vol. 2023; pp. 1 - 17
Main Authors:	Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Format:	Journal Article
Language:	Japanese
Published:	Institution of Engineering and Technology (IET) 30.10.2023
Subjects:	Computer engineering. Computer hardware Electronic computers. Computer science QA75.5-76.95 TK7885-7895
ISSN:	1751-8709, 1751-8717
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	1751-8709 1751-8717
DOI:	10.1049/2023/9399887