Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC.

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

Browse the full FSE paper archive.