Cryptology ePrint Archive: Report 2013/316

Available versions in chronological order


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 ]