Verifying Constant-Time Implementations Artigo de Conferência uri icon

autores

  • Almeida, JoseCarlosBacelar
  • Almeida, JB
  • Barbosa, M
  • Barthe, G
  • Dupressoir, F
  • Emmi, M

data de publicação

  • janeiro 1, 2016