From provable security to secure cryptographic implementations (DLS in Cybersecurity)

19.04.2018, 16:15 – 17:15

2018/04/19 16:15-17:15

Speaker: Gilles Barthe, University of Manchester, UK | Location: Hochschulstraße 10 (S2|02), Piloty Building, Room C110

Organizer: CROSSING / GRK Privacy & Trust / CRISP


Building secure cryptographic implementations is notoriously hard. In this talk, Prof. Gilles Barthe will outline a general methodology that delivers formal guarantees on assembly-level implementations through a combination of ideas from deductive program verification, program analysis, and verified compilation. He will also outline the relevance of formal methods and programming languages in the broader context of cryptography.

Short Bio

Website of Gilles Barthe.

Distinguished Lectures Series in Cybersecurity

With the Distinguished Lectures Series in Cybersecurity, every semester, we invite outstanding experts from science and industry to Darmstadt to discuss the multifaceted prospects and challenges of IT Security. In the lectures, the speakers present the results of trendsetting research from a variety of disciplines, give overviews of complex topics or show the current state of knowledge in their field of research. The lectures are free and open for everybody without prior registration.

After the lecture there is the possibility to get together.

See past Distinguished Lectures in Cybersecurity in pictures.