Publications

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(s)

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

Document Type

Proceedings Paper

Year published

2019

Published

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

Pages: 1607-1622 (16)

Conference

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

Indexing