Name Affiliation
Chenxi Wang
Shriram Krishnamurthi Brown University
Limin Jia Carnegie Mellon University
Leigh Metcalf Carnegie Mellon University, SEI
Ronghui Gu Columbia University
Fred Schnieder Cornell University
Francesco Logozzo Facebook
Joe Kiniry Galois
Stephen Magill Galois
Christoph Kern Google
James Imanian Guidehouse
Jian Xiang Harvard University
Stephen Chong chair Harvard University
Raj Rajagopalan Honeywell
Xiaokui Shu IBM Research
Jason Syversen Independent
Nataliia Bielova INRIA
Tamara Rezk Inria
Catalin Hritcu Inria Paris
Chen Liu Intel
Richard Chow chair Intel
Jason H. Li Intelligent Automation Inc.
Bill Horne Intertrust Technologies
Dan Geer IQT
Nilaykumar Sangani J.P. Morgan
Yasemin Acar Leibniz University Hannover
David Tarditi Microsoft
Nikhil Swamy chair Microsoft Research
Laurie Williams North Carolina State University
Trent Jaeger Penn State University
Lennart Beringer Princeton University
Nathan Dautenhahn Rice University
Zulfikar Ramzan chair RSA
Angela Sasse Ruhr University Bochum
Altaz Valani Security Compass
Kevin Roundy Symantec Research Labs
Thomas Moyer UNC Charlotte
Nadia Polikarpova University of California, San Diego
Daniela Oliveira University of Florida
Madhu Parthasarathy University of Illinois at Urbana-Champaign
Mike Hicks University of Maryland
Toby Murray University of Melbourne
Morley Mao University of Michigan
Benjamin Pierce University of Pennsylvania
Christian Skalka University of Vermont
Matthew French USC / ISI
Chris Wysopal Veracode
Daphne Yao Virginia Tech
Patrick Schaumont Virginia Tech