30. November – 05. Dezember 2014, Dagstuhl-Seminar 14492
Letzte Aktualisierung: 14. April 2015

The synergy between programming languages and cryptography

Participants

  • Joseph Ayo Akinyele (Johns Hopkins University – Baltimore, US) [dblp]
  • David Archer (Galois – Portland, US) [dblp]
  • Manuel Barbosa (University of Minho – Braga, PT) [dblp]
  • Gilles Barthe (IMDEA Software – Madrid, ES) [dblp]
  • Karthikeyan Bhargavan (INRIA – Paris, FR) [dblp]
  • Bruno Blanchet (INRIA – Paris, FR) [dblp]
  • Dan Bogdanov (Cybernetica AS – Tartu, EE) [dblp]
  • Niklas Büscher (TU Darmstadt, DE) [dblp]
  • Stephen Chong (Harvard University – Cambridge, US) [dblp]
  • Véronique Cortier (LORIA – Nancy, FR) [dblp]
  • Francois Dupressoir (IMDEA Software – Madrid, ES) [dblp]
  • Cédric Fournet (Microsoft Research UK – Cambridge, GB) [dblp]
  • Matthew A. Hammer (University of Maryland – College Park, US) [dblp]
  • Michael Hicks (University of Maryland – College Park, US) [dblp]
  • Catalin Hritcu (INRIA – Paris, FR) [dblp]
  • Stefan Katzenbeisser (TU Darmstadt, DE) [dblp]
  • Florian Kerschbaum (SAP SE – Karlsruhe, DE) [dblp]
  • Boris Köpf (IMDEA Software – Madrid, ES) [dblp]
  • Markulf Kohlweiss (Microsoft Research UK – Cambridge, GB) [dblp]
  • Sven Laur (University of Tartu, EE) [dblp]
  • Alex Malozemoff (University of Maryland – College Park, US) [dblp]
  • Sarah Meiklejohn (University College London, GB) [dblp]
  • Esfandiar Mohammadi (Universität des Saarlandes, DE) [dblp]
  • Axel Schröpfer (SAP SE – Walldorf, DE) [dblp]
  • Alley Stoughton (MIT Lincoln Laboratory – Lexington, US) [dblp]
  • Eran Tromer (Tel Aviv University, IL) [dblp]
  • Dominique Unruh (University of Tartu, EE) [dblp]
  • Santiago Zanella-Béguelin (INRIA – Paris, FR) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner