Upcoming Talks

Ist logo

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: Mathematics and CS Seminar
Host: Krzysztof Pietrzak


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.
Qr image
Download ICS Download invitation
Back to eventlist