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

AuthID
 P-00R-F7P
10
Author(s)
Baritel Ruet, C
·
Dupressoir, F
·
Grégoire, B
·
Laporte, V
·
Stoughton, A
·
Strub, PY
Document Type
Proceedings Paper
Year published
2019
Published
in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), ISSN: 15437221
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
Wos®
Scopus®
Dblp®/en/publications/view/802038
Crossref®29
Google Scholar®
Publication Identifiers
Dblp: conf/ccs/AlmeidaBBBDGL0S19
Scopus: 2-s2.0-85075931229
Wos: WOS:000509760700097
Source Identifiers
ISSN: 15437221
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service