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
joined the IMDEA Software Institute as a research professor in April
2008. His research interests include programming languages, program
verification, software and system security, and cryptography. Since
2006, he has worked on applying formal verification of probabilistic
programs to proving security of cryptographic constructions in the
computational model, and been involved in the development of several
tools based on this approach, including EasyCrypt and ZooCrypt.

AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI   Info

Expert Audience

English

60 Minutes

Saarbrücken

EasyCrypt is a tool supported framework that supports the
machine-checked construction and verification of security proofs of
cryptographic systems, and that has been used to verify emblematic
examples of public-key encryption schemes, digital signature schemes,
hash function designs, and block cipher modes of operation. The
lecture will motivate the role of computer-aided proofs in the broader
context of provable security, explore the connections between
provable security and programming language methods, and speculate on
potential applications of computer tools in security analysis and
design of cryptographic constructions.

Brigitta Hansen

0681 93039102

--email hidden

Yes

Kaiserslautern

G26

112

passcode not visible

logged in users only