Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir. Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC. IACR Cryptology ePrint Archive, 2015:1241, 2015. [doi]

Abstract

Abstract is missing.