José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir. Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. In Thomas Peyrin, editor, Fast Software Encryption - 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers. Volume 9783 of Lecture Notes in Computer Science, pages 163-184, Springer, 2016. [doi]
Abstract is missing.