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

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IET Information Security Jg. 2023; S. 1 - 17
Hauptverfasser:	Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Format:	Journal Article
Sprache:	Japanisch
Veröffentlicht:	Institution of Engineering and Technology (IET) 30.10.2023
Schlagworte:	Computer engineering. Computer hardware Electronic computers. Computer science QA75.5-76.95 TK7885-7895
ISSN:	1751-8709, 1751-8717
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!