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:
CCS (2017)
Keyphrases
</>
software development
software architecture
neural network
evaluation metrics
software developers
software maintenance
security requirements
software package
evaluation process