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

Gregoire, B

Laporte, V

Oliveira, T

Stoughton, A

Strub, PY

Editor(es)

Lorenzo Cavallaro; Johannes Kinder; XiaoFeng Wang 0001; Jonathan Katz

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19) in ACM Conference on Computer and Communications Security, ISSN: 1543-7221

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