Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
by José Bacelar Almeida and
Cecile Baritel-Ruet and
Manuel Barbosa and
Gilles Barthe and
François Dupressoir and
Benjamin Grégoire and
Vincent Laporte and
Tiago Oliveira and
Alley Stoughton and
Pierre-Yves Strub