Publicações

Machine-Checked Proofs for Cryptographic Standards Indifferentiability of Sponge and Secure High-Assurance Implementations of Sha-3

AuthID
P-00R-F7P

Author(s)

Almeida, JB

Baritel Ruet, C

Barbosa, M

Barthe, G

Dupressoir, F

Grégoire, B

Laporte, V

Oliveira, T

Stoughton, A

Strub, PY

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), ISSN: 15437221

Páginas: 1607-1622 (16)

Conference

Acm Sigsac Conference on Computer and Communications Security (Ccs), Date: NOV 11-15, 2019, Location: London, ENGLAND, Patrocinadores: Assoc Comp Machinery, ACM SIGSAC

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/802038

Crossref^®29

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/3319535.3363211

DBLP: conf/ccs/AlmeidaBBBDGL0S19

SCOPUS: 2-s2.0-85075931229

Wos: WOS:000509760700097

Source Identifiers

ISSN: 15437221

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Machine-Checked Proofs for Cryptographic Standards Indifferentiability of Sponge and Secure High-Assurance Implementations of Sha-3

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Machine-Checked Proofs for Cryptographic Standards Indifferentiability of Sponge and Secure High-Assurance Implementations of Sha-3

Links Úteis

Ajuda