Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Advances in computer-aided cryptography
Speaker:Prof. Gilles Barthe:
coming from:IMDEA Software Institute Edificio IMDEA Software., Madrid
Speakers 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 joined the IMDEA Software Institute in April 2008. Previously, he held positions at INRIA Sophia-Antipolis Méditerranée, France; University of Minho, Portugal; Chalmers University, Sweden; CWI, Netherlands; University of Nijmegen, Netherlands. He has published more than 100 refereed scientific papers. He has been coordinator/principal investigator of many national and European projects, and served as the scientific coordinator of the FP6 FET integrated project "MOBIUS: Mobility, Ubiquity and Security" for enabling proof-carrying code for Java on mobile devices (2005-2009). He has served as PC (co-)chair of several conferences including VMCAI, ESOP, FAST, SEFM, and been a PC member of more than 70 conferences, including CCS, CSF, EUROCRYPT, ESORICS, FM, ICALP, LICS, POPL, and S&P. He is a member of the editorial boards of the Journal of Automated Reasoning and of the Journal of Computer Security.

His research interests include programming languages and program verification, software and system security, cryptography, formal methods and foundations of mathematics and computer science. Since joining IMDEA, his research has focused on building foundations and tools for verifying cryptographic constructions and differentially private computations. He was awarded the Best Paper Award at CRYPTO 2011, PPoPP 2013, and FSE 2016, and was an invited speaker at numerous venues, including CAV'16, IJCAR'16, AsiaCrypt'15, CSF'14, ETAPS'13, QEST'13, ESORICS'12, ITP'12, and SAS'12

Event Type:CISPA Distinguished Lecture Series
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:Public Audience
Date, Time and Location
Date:Thursday, 20 July 2017
Duration:60 Minutes
Building:E9 1
Room:Lecture Hall
Designing, analyzing and implementing correct, secure and efficient cryptography are challenging tasks. Computer-aided cryptography is a young field of research which aims to provide rigorous tools that ease these tasks. Computer-aided cryptography leverages advances in the broad area of formal methods, concerned with the development of safe and correct high-assurance systems, and in particular program verification. For security proofs, computer-aided cryptography exploits connections between reductionist arguments in provable security and a program verification method for verifying probabilistic couplings. To date, computer-aided cryptography has been used for checking reductionistic security of primitives and protocols, for analyzing the strength of implementations against side channels and physical attacks, and for synthesizing new algorithms that achieve different trade-offs between efficiency and security. The talk will present recent developments in computer-aided cryptography and reflect on some of the challenges, benefits and opportunities in computer-aided cryptography.
Name(s):Sabine Nermerich
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Attachments, File(s):

Sabine Nermerich/AG4/MPII/DE, 07/17/2017 09:21 AM
Last modified:
Uwe Brahm/MPII/DE, 07/20/2017 07:01 AM
  • Sabine Nermerich, 07/17/2017 09:25 AM -- Created document.