Chargement Évènements

« Tous les Évènements

SSL Seminar

avril 4 @ 13:30 - 15:00

Next SSL seminar will take place on Thursday, April 4th at 1.30 pm in room A008.

Gilles Barthe (MPI Bochum) will give a presentation entitled “Computer-aided cryptography”.

We need cryptography that we can trust. Yet the design, analysis, and implementation of cryptographic libraries is a challenging task, that requires insights across various areas of mathematics and computer science. Computer-aided cryptography is a young research area which
uses formal methods for exploring the design space of cryptographic constructions and for delivering zero-defect, side-channel resistant, cryptographic libraries. The talk will give an overview of our work in computer-aided cryptography and discuss some of the challenges and opportunities in cryptography and beyond.


Date :
avril 4
Heure :
13:30 - 15:00
Catégorie d’Évènement:



Logo du CNRS

Logo Inria

Logo Université de Lorraine