IMDEA Software Institute researchers Gilles Barthe and Francois Dupressoir, along with José Bacelar Almeida (Universidade do Minho and HASLab ­ INESC Tec) and Manuel Barbosa (Universidade do Porto and HASLab ­ INESC Tec), received the best paper award at the 23rd International Conference on Fast Software Encryption (FSE 2016) for their work entitled “Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC”.