Jasmin: High-Assurance and High-Speed Cryptography Artigo de Conferência uri icon

autores

  • José Carlos Bacelar Almeida
  • Almeida, JB
  • Barbosa, M
  • Barthe, G
  • Blot, A
  • Grégoire, B
  • Laporte, V
  • Oliveira, T
  • Aksoy-Aksel, A.

data de publicação

  • janeiro 1, 2017