Almeida JB, Barbosa M, Barthe G, Dupressoir F.? 2016.??Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC. Fast Software Encryption ? 23nd International Workshop, FSE 2016. 9783:163?184.