May 13 – 18 , 2018, Dagstuhl Seminar 18201
Last update: October 4 2019

Secure Compilation

Participants

  • Amal Ahmed (Northeastern University – Boston, US) [dblp]
  • Gilles Barthe (IMDEA Software – Madrid, ES) [dblp]
  • Nick Benton (Facebook – London, GB) [dblp]
  • Frédéric Besson (INRIA – Rennes, FR) [dblp]
  • Pramod Bhatotia (University of Edinburgh, GB) [dblp]
  • Lars Birkedal (Aarhus University, DK) [dblp]
  • Roberto Blanco (INRIA – Paris, FR) [dblp]
  • William Bowman (Northeastern University – Boston, US) [dblp]
  • Stefan Brunthaler (Universität der Bundeswehr – München, DE) [dblp]
  • David Chisnall (University of Cambridge, GB) [dblp]
  • John T. Criswell (University of Rochester, US) [dblp]
  • Dominique Devriese (KU Leuven, BE) [dblp]
  • Derek Dreyer (MPI-SWS – Saarbrücken, DE) [dblp]
  • Akram El-Korashy (MPI-SWS – Saarbrücken, DE) [dblp]
  • Cédric Fournet (Microsoft Research UK – Cambridge, GB) [dblp]
  • Deepak Garg (MPI-SWS – Saarbrücken, DE) [dblp]
  • Chris Hawblitzel (Microsoft Research – Redmond, US) [dblp]
  • Catalin Hritcu (INRIA – Paris, FR) [dblp]
  • Chung-Kil Hur (Seoul National University, KR) [dblp]
  • Limin Jia (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Gabriele Keller (UNSW – Sydney, AU) [dblp]
  • Vincent Laporte (IMDEA Software – Madrid, ES) [dblp]
  • Xavier Leroy (INRIA – Paris, FR) [dblp]
  • Toby Murray (The University of Melbourne, AU) [dblp]
  • Magnus Myreen (Chalmers University of Technology – Göteborg, SE) [dblp]
  • Santosh Nagarakatte (Rutgers University – Piscataway, US) [dblp]
  • Kedar Namjoshi (Nokia Bell Labs – Murray Hill, US) [dblp]
  • David A. Naumann (Stevens Institute of Technology, US) [dblp]
  • Max S. New (Northeastern University – Boston, US) [dblp]
  • Scott Owens (University of Kent – Canterbury, GB) [dblp]
  • Zoe Paraskevopoulou (Princeton University, US) [dblp]
  • Marco Patrignani (Universität des Saarlandes, DE) [dblp]
  • Daniel Patterson (Northeastern University – Boston, US) [dblp]
  • Frank Piessens (KU Leuven, BE) [dblp]
  • Tamara Rezk (INRIA Sophia Antipolis, FR) [dblp]
  • Christine Rizkallah (UNSW – Sydney, AU) [dblp]
  • Peter Sewell (University of Cambridge, GB) [dblp]
  • Deian Stefan (University of California – San Diego, US) [dblp]
  • Andrew Tolmach (Portland State University, US) [dblp]
  • Stelios Tsampas (KU Leuven, BE)
  • Neline van Ginkel (KU Leuven, BE) [dblp]
  • Stephanie Weirich (University of Pennsylvania – Philadelphia, US) [dblp]
  • Steve Zdancewic (University of Pennsylvania – Philadelphia, US) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner