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.