A Fast and Verified Software Stack for Secure Function Evaluation.

Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Vitor Pereira

Browse the full CCS paper archive.