Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. Jos´e Bacelar Almeida1,2 Manuel Barbosa2,3 Gilles Barthe4 Fran¸cois Dupressoir4 1 Universidade 3 Universidade

First Page		Document Content
Date: 2016-03-22 07:25:32		Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. Jos´e Bacelar Almeida1,2 Manuel Barbosa2,3 Gilles Barthe4 Fran¸cois Dupressoir4 1 Universidade 3 Universidade Add to Reading List Source URL: fse.rub.de Download Document from Source Website File Size: 367,28 KB Share Document on Facebook