Loading Events

« All Events

  • This event has passed.

SSL Seminar

April 4 @ 1:30 pm - 3:00 pm

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.


April 4
1:30 pm - 3:00 pm
Event Category:


Logo du CNRS

Logo d'Inria

Logo Université de Lorraine