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

AuthID
P-00R-F7P
10
Author(s)
Barthe, G
·
Dupressoir, F
·
Gregoire, B
·
Laporte, V
·
Stoughton, A
·
Strub, PY
4
Editor(s)
Lorenzo Cavallaro; Johannes Kinder; XiaoFeng Wang 0001; Jonathan Katz
Document Type
Proceedings Paper
Year published
2019
Published in
Acm Sigsac Conference on Computer and Communications Security (Ccs) in: Proceedings Of The 2019 Acm Sigsac Conference On Computer And Communications Security (Ccs'19), NOV 11-15, 2019, Sponsors Assoc Comp Machinery, ACM SIGSAC
Pages 1607-1622 (16)
Book Series: ACM Conference on Computer and Communications Security  Book Group Authors: ACM  
Indexing
Publication Identifiers
Dblp: conf/ccs/AlmeidaBBBDGL0S19
Scopus: 2-s2.0-85075931229
Wos: WOS:000509760700097
Source Identifiers
ISSN: 1543-7221
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.