Program committee



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