Gilles Barthe Scientific Director, Max Planck Institute for Security and Privacy Part-time Research Professor, IMDEA Software Institute Go Back To Directory
