May 10 – 15 , 2020, Dagstuhl Seminar 20201

POSTPONED Secure Compilation

Due to the Covid-19 pandemic, this seminar is postponed indefinitely.


David Chisnall (Microsoft Research – Cambridge, GB)
Deepak Garg (MPI-SWS – Saarbrücken, DE)
Catalin Hritcu (MPI-SP – Bochum, DE)
Mathias Payer (EPFL – Lausanne, CH)

For support, please contact

Annette Beyer for administrative matters

Andreas Dolzmann for scientific matters


  • Programming Languages / Compiler
  • Security / Cryptology
  • Semantics / Formal Methods


  • Secure compilation
  • Low-level attacks
  • Source-level reasoning
  • Attacker models
  • Full abstraction
  • Hyperproperties
  • Enforcement mechanisms
  • Compartmentalization
  • Security architectures
  • Side-channels


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.