Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3 Artigo de Conferência uri icon

autores

  • José Carlos Bacelar Almeida
  • Almeida, JB
  • Dupressoir, Francois
  • Baritel Ruet, C
  • Gregoire, Benjamin
  • Barbosa, M
  • Laporte, Vincent
  • Barthe, G
  • Dupressoir, F
  • Stoughton, Alley
  • Gregoire, B
  • Strub, Pierre-Yves
  • Almeida, José Bacelar
  • Laporte, V
  • Aksoy-Aksel, A.
  • Baritel-Ruet, Cecile
  • Barbosa, Manuel Gonçalves
  • Barthe, Gilles

data de publicação

  • janeiro 1, 2019