Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations.

Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Franois Dupressoir

Browse the full CCS paper archive.