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

19.04.2017 16:15-17:15

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

19.04.2017, 16:15 – 17:15

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

Organizer: CRISP / CROSSING


Abstract
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
Gilles Barthe received a Ph.D. in Mathematics from the University of Manchester, UK, in 1993, and an Habilitation à diriger les recherches in Computer Science from the University of Nice, France, in 2004. He is a scientific director at Max Planck Institute, Germany, and a part-time research professor at the IMDEA Software Institute, which he joined in April 2008.

His research interests include programming languages and program verification, software and system security, cryptography, formal methods and foundations of mathematics and computer science. His recent research develops programming language techniques and verification methods for security, with a focus on cryptographic implementations and differentially private computations.


Distinguished Lectures Series in Cybersecurity
Mit der Distinguished Lecture Series in Cybersecurity kommen jedes Semester herausragende Experten aus Wissenschaft und Wirtschaft nach Darmstadt, um die vielfältigen Chancen und He­raus­for­de­rung­en im Bereich der IT-Sicherheit zu diskutieren.

Die Redner stellen in den Vorlesungen richtungsweisende Forschungsergebnisse verschiedener Disziplinen vor, fassen komplexe Themenbereiche zusammen und zeigen den momentanen Kenntnisstand ihres Forschungs- oder Arbeitsgebietes auf.

Die Vorträge sind öffentlich. Interessierte Besucher sind herzlich willkommen. Nach der Vorlesung gibt es Möglichkeit zum Austausch bei einem kleinen Buffet vor Ort.

Vergangene Distinguished Lectures in Cybersecurity in Bildern.

zur Liste