José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir. Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. IACR Cryptology ePrint Archive, 2013:316, 2013. [doi]
Abstract is missing.