Cryptology ePrint Archive: Report 2014/456

Available versions in chronological order

20140615:111829 (posted 15-Jun-2014 11:18:29 UTC): Verified Implementations for Secure and Verifiable Computation; José Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Guillaume Davy and François Dupressoir and Benjamin Grégoire and Pierre-Yves Strub

[ Cryptology ePrint archive ]