Publicações

Formally Verifying Kyber Episode V: Machine-Checked Ind-Cca Security and Correctness of Ml-Kem in Easycrypt

AuthID
P-012-PDZ

Author(s)

Almeida, JB

Olmos, SA

Barbosa, M

Barthe, G

Dupressoir, F

Grégoire, B

Laporte, V

Lechenet, JC

Low, C

Oliveira, T

Pacheco, H

Quaresma, M

Schwabe, P

Strub, PY

Editor(es)

Reyzin,L;Stebila,D

Tipo de Documento

Proceedings Paper

Year published

2024

Publicado

in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 14921, Páginas: 384-421 (38)

Conference

44Th Annual International Cryptology Conference on Advances in Cryptology (Crypto), Date: AUG 18-22, 2024, Location: Univ California, Santa Barbara, CA, Host: Univ California

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/1137087

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-031-68379-4_12

DBLP: conf/crypto/AlmeidaOBBDGLLLOPQSS24

SCOPUS: 2-s2.0-85202291562

Wos: WOS:001308718700012

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Formally Verifying Kyber Episode V: Machine-Checked Ind-Cca Security and Correctness of Ml-Kem in Easycrypt

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Formally Verifying Kyber Episode V: Machine-Checked Ind-Cca Security and Correctness of Ml-Kem in Easycrypt

Links Úteis

Ajuda