Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification.

Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira

Browse the full INDOCRYPT paper archive.