Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Highlights of the Year

Highlights of the Year


The paper by Barthe, Grégoire, and Laporte at Computer Security Foundations on cryptographic constant-time was awarded a distinguished paper award.

Best Paper Award:
G. Barthe, B. Grégoire, V. Laporte.
Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time”, in: CSF 2018 - 31st IEEE Computer Security Foundations Symposium, Oxford, United Kingdom, July 2018.