@article{synergy,
  author       = {Barthe, Gilles and Hicks, Michael and Kerschbaum, Florian and Unruh, Dominique},
  title        = {The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {12},
  year         = {2015},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  pages        = {29-47}
}