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

Uloženo v:
Podrobná bibliografie
Vydáno v:IET Information Security Ročník 2023; s. 1 - 17
Hlavní autoři: Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Médium: Journal Article
Jazyk:japonština
Vydáno: Institution of Engineering and Technology (IET) 30.10.2023
Témata:
Computer engineering. Computer hardware
Electronic computers. Computer science
QA75.5-76.95
TK7885-7895
ISSN:1751-8709, 1751-8717
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
ISSN:1751-8709
1751-8717
DOI:10.1049/2023/9399887