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

Uložené v:
Podrobná bibliografia
Vydané v:IET Information Security Ročník 2023; s. 1 - 17
Hlavní autori: Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Médium: Journal Article
Jazyk:Japanese
Vydavateľské údaje: Institution of Engineering and Technology (IET) 30.10.2023
Predmet:
ISSN:1751-8709, 1751-8717
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Buďte prvý, kto okomentuje tento záznam!
Najprv sa musíte prihlásiť.