A Fast and Verified Software Stack for Secure Function Evaluation

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 30, 2017
Source ID
10.1145/3133956.3134017

Entities

People

  • Benjamin Grégoire
  • François Dupressoir
  • Gilles Barthe
  • José Bacelar Almeida
  • Manuel Barbosa
  • Vincent Laporte
  • Vitor Pereira

Organizations

  • European Regional Development Fund
  • Faculty of Sciences of the University of Porto
  • Fundação para a Ciência e Tecnologia
  • Instituto Madrileño de Estudios Avanzados
  • Office of Naval Research
  • University of Minho
  • University of Surrey