Computer Science Distinguished Letcture: Language-based techniques for cryptography and privacy

Speaker: Gilles Barthe, IMDEA Software Institute
UCL Contact: Steve Marchant (Visitors from outside UCL please email in advance).
Date/Time: 26 Jul 16, 16:00 - 17:00
Venue: 1.02


A common theme in program verification is establishing relationships between two runs of the same program or of different programs. Such relationships can be proved by semantical means, or with syntactic methods such as relational program logics and product constructions. Gilles shall present an overview of these methods and their applications to provable security, differential privacy, and secure implementations.

Gilles Barthe

Gilles Barthe is a research professor at the IMDEA Software Institute. His research interests