Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.
José Bacelar AlmeidaCécile Baritel-RuetManuel BarbosaGilles BartheFrançois DupressoirBenjamin GrégoireVincent LaporteTiago OliveiraAlley StoughtonPierre-Yves StrubPublished in: CCS (2019)