November 30 – December 5 , 2014, Dagstuhl Seminar 14492
Last update: April 14 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]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner