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]

Authors

José Bacelar Almeida

This author has not been identified. Look up 'José Bacelar Almeida' in Google

Manuel Barbosa

This author has not been identified. It may be one of the following persons: Look up 'Manuel Barbosa' in Google

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google

François Dupressoir

This author has not been identified. Look up 'François Dupressoir' in Google