José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub. Verified Implementations for Secure and Verifiable Computation. IACR Cryptology ePrint Archive, 2014:456, 2014. [doi]
Abstract is missing.