IMDEA Software Institute researcher Gilles Barthe was keynote speaker at EUROCRYPT 2017 in Paris, France. EUROCRYPT is the second most prestigious venue for cryptography research.

Gilles talk, entitled ‘Advances in computer-aided lcryptography’ presented recent developments in computer-aided cryptography which aims to provide rigorous tools that ease the design, analyze and implement cryptographic primitives and protocols.

Gilles’ slides can be found here.