José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir. Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. In Ahmad-Reza Sadeghi, Virgil D. Gligor, Moti Yung, editors, 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013. pages 1217-1230, ACM, 2013. [doi]
Abstract is missing.