A Fast and Verified Software Stack for Secure Function Evaluation Artigo de Conferência uri icon

autores

  • Almeida, JoseCarlosBacelar
  • Almeida, JB
  • François Dupressoir
  • Barbosa, M
  • Benjamin Grégoire
  • Barthe, G
  • Vincent Laporte
  • Dupressoir, F
  • Vítor Manuel Sá Pereira
  • Almeida, José Bacelar
  • Gregoire, B
  • Barbosa, Manuel Gonçalves
  • Laporte, V
  • Gilles Barthe
  • Pereira, V

data de publicação

  • janeiro 1, 2017