Program Committee Principles of Secure Compilation

Cătălin Hriţcu Program Chair

Inria Paris

Amal Ahmed

Northeastern University, USA

United States

Lars Birkedal

Aarhus University

Dominique Devriese

KU Leuven, Belgium

Belgium

Cédric Fournet

Microsoft Research, n.n.

Deepak Garg

MPI-SWS, Germany

Germany

Xavier Leroy

IRNIA

David Naumann

Stevens Institute of Technology

Marco Patrignani

MPI-SWS, Germany

Frank Piessens

iMinds, Belgium

Tamara Rezk

Inria

France

Nikhil Swamy

Microsoft Research, n.n.

United States