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

autores

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

data de publicação

  • janeiro 1, 2019