Progress Report of the Max Planck Institute for Software Systems (MPI-SWS) May 2011 – October 2013 Contents

Source URL: www.mpi-sws.org

• Max Planck Institute for Software Systems
• Security engineering
• Computing
• Max Planck Institute for Informatics
• Systems engineering
• Max Planck Society
• Information system
• Metaphysics
• MPI
• Saarland University
• Software system
• Computer security

Studienverlaufsplan für den Studiengang Biologie mit dem Abschluss Bachelor of Science an der Ruhr-Universität Bochum (POSemester (23 SWS, 29 CP) V,Ü

Source URL: www.biologie.ruhr-uni-bochum.de

1ML – Core and Modules United (F-ing First-class Modules) Andreas Rossberg Google, Germany Abstract

Source URL: people.mpi-sws.org

Principles  of  POPL Derek  Dreyer,  John  Field,  Roberto  Giacobazzi,  Michael  Hicks,  Suresh  Jagannathan, Mooly  Sagiv,  Peter  Sewell,  Phil  Wadler (on  behalf  of  the  POPL  Steering  Commi

Source URL: popl.mpi-sws.org

Sound Compilation of Reals Eva Darulova Viktor Kuncak EPFL

Source URL: people.mpi-sws.org

JFP 23 (4): 357–401, c Cambridge University Press 2013  357

Source URL: people.mpi-sws.org

Automatically Deriving Information-theoretic Bounds for Adaptive Side-channel Attacks Boris Köpf MPI-SWS Martin-Luther-Strasse 12 DSaarbrücken

Source URL: software.imdea.org

Vorlesungsankündigung Qualitätsmanagement (2 SWS, 3 LP) für Naturwissenschaftler, Ingenieure Dr. Uwe Schedler (PolyAn GmbH)

Source URL: akhaag.userpage.fu-berlin.de

2010 23rd IEEE Computer Security Foundations Symposium Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks Boris K¨opf MPI-SWS

Source URL: users.cis.fiu.edu

Vorlesungsankündigung Qualitätsmanagement (2 SWS, 3 LP) für Naturwissenschaftler, Ingenieure Dr. Uwe Schedler (PolyAn GmbH)

Source URL: akhaag.userpage.fu-berlin.de