Computer-aided cryptography
Date
Thursday, June 7, 2018 09:00 - 10:00
Speaker
Gilles Barthe (IMDEA Software Institute)
Location
Mondi Seminar Room 2, Central Building
Series
Seminar/Talk
Tags
Mathematics and CS Seminar
Host
Krzysztof Pietrzak
Contact
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 aims to provide methods based on formal methods, and in particular program synthesis and program verification for exploring the design space of cryptographic constructions and for building zero-defect cryptographic libraries. The talk will reflect on the challenges, benefits and opportunities for applying computer-aided formal methods in cryptography.