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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub

Journal title: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security

Journal publisher: ACM

Published year: 2019

Published pages: 1607-1622

DOI identifier: 10.1145/3319535.3363211

ISBN: 9781-450367479