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