David PointchevalCNRS senior researcher at DIENS

Directeur de recherche et directeur du Département d’informatique de l’École normale supérieure1 , spécialisé dans la cryptographie.

" J’ai toujours apprécié le formalisme des mathématiques et j'ai été rapidement fasciné par l’automatisation des tâches par une machine. Comment alors concilier mathématiques et informatique ? La cryptographie était le domaine idéal. J’ai eu la chance de rejoindre cette communauté aux débuts des preuves de sécurité, qui permettent de répondre à un besoin de sécurité en le formalisant, en décrivant un mécanisme cryptographique adéquat, et surtout en prouvant formellement l’impossibilité des attaques. Cela combine rigueur mathématique, informatique fondamentale et développement de solutions concrètes. Plus récemment, toute la magie de la cryptographie a été mise en avant avec les nouvelles problématiques passionnantes que sont le respect de la vie privée, l’externalisation des calculs et le cloud. "

• 1CNRS/ENS-PSL/Inria