Publicações

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium

AuthID
P-00Y-30F

Author(s)

Barbosa, M

Barthe, G

Doczkal, C

Don, J

Fehr, S

Grégoire, B

Huang, YH

Hülsing, A

Lee, Y

Wu, XD

Editor(es)

Handschuh,H;Lysyanskaya,A

Tipo de Documento

Proceedings Paper

Year published

2023

Publicado

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

Volume: 14085, Páginas: 358-389 (32)

Conference

43Rd International Cryptology Conference (Crypto), Date: AUG 20-24, 2023, Location: Univ California, Santa Barbara, CA, Host: Univ California

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/986127

Crossref^®14

Google Scholar^®

Metadata
Fontes

Publication Identifiers

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

DBLP: conf/crypto/BarbosaBDDFGHHLW22

SCOPUS: 2-s2.0-85173025751

Wos: WOS:001314617100012

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.

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium

Links Úteis

Ajuda