The synergy between programming languages and cryptography

• 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