Almeida JB, Barbosa MB, Barthe G, Davy G, Dupressoir F, Grégoire B, Strub P-Y.? 2014.??Verified Implementations for Secure and Verifiable Computation. IACR Cryptology ePrint Archive. 456