Login / Signup
A Fast and Verified Software Stack for Secure Function Evaluation.
José Bacelar Almeida
Manuel Barbosa
Gilles Barthe
François Dupressoir
Benjamin Grégoire
Vincent Laporte
Vitor Pereira
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
computer systems
software tools
software development
software architecture
evaluation criteria
software design