Cryptology ePrint Archive: Report 2013/316

Available versions in chronological order

20130528:214352 (posted 28-May-2013 21:43:52 UTC): Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations; José Bacelar Almeida and Manuel Barbosa and Gilles Barthe and François Dupressoir

[ Cryptology ePrint archive ]