Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC | Publicación