A Fast and Verified Software Stack for Secure Function Evaluation | Publicación