Program committee



Name Affiliation
Tuba Yavuz University of Florida
Min Xu Mastercard
Chia-Che Tsai Texas A&M University
Yuan Tian University of Virginia
Gang Tan Penn State
Michael Steiner Intel
Deian Stefan UC San Diego
Tamara Rezk INRIA Sophia-Antipolis
Katrin Reitsma
Marcus Peinado Microsoft Research
Hamed Okhravi MIT Lincoln Laboratory
Kedar Namjoshi Bell Labs, Nokia
Mayur Naik University of Pennsylvania
Toby Murray University of Melbourne and Data61
Scott Moore Galois, Inc.
J. Sukarno Mertoguno Georgia Tech
William Mansky University of Illinois at Chicago
Fan Long University of Toronto
Taesoo Kim chair Georgia Institute of Technology
Limin Jia chair CMU
Trent Jaeger Penn State University
Cedric Hebert SAP Security Research
Chris Hawblitzel Microsoft Research
William Harris Galois Inc.
Ronghui Gu Columbia University
Daniel Genkin University of Michigan
Dominique Devriese Vrije Universiteit Brussel
Luca Compagna SAP Security Research
Cristina Cifuentes Oracle Labs
Richard Chow Intel Labs
Lotfi Ben Othmane Iowa State University