Keynote Presentation: 
Going Native - Relying on Pidgins and Creoles to Construct High Confidence Software 
Travis Breaux (CMU)

Panel: Designed-In Security 
Moderator: Brad Martin (NSA) 
Panelists: 
Celia Merzbacher (SRC), 
Ron Perez (AMD), 
Bill Scherlis (CMU)

Keynote Presentation: 
DARPA's BRAIN Initiative 
Geoffrey Ling (DARPA)

High-Performance Regular Expression Processing for Cross-Domain Systems with High Assurance Requirements 
David Hardin (Rockwell Collins)

A Building Code for Building Code 
Carl Landwehr (Innovative Analytics and Training)

BREAK 
 

Programmable Hardware Support for Ubiquitous Micro-Policy Enforcement 
Benjamin Pierce (UPenn)

The Cyber-Physical Limits of Control 
Alex Wissner-Gross (Harvard University)

Hardware-Based Tagging: Building in Security from the Ground Up 
Jim Alves-Foss (University of Idaho)

Panel: Moving Forward with DIS and Building Code 
Moderator: Bill Scherlis (CMU) 
Panelists: 
Byron Cook (Microsoft Research), 
Kathleen Fisher (DARPA), 
John Hatcliff (Kansas State University), 
John Launchbury (Galois, Inc.), 
Ray Richards (Rockwell Collins)

Logical Foundations of Cyber-Physical Systems 
André Platzer (CMU)

Formalization of x86 Machine-Code Programs with System Calls 
Warren Hunt, Jr. (UT Austin)

LUNCH

Generating Proof-Carrying Code for the UDP protocol 
Douglas Smith (Kestrel Institute)

An Information Architecture Platform for Mobile, Secure, and Resilient Distributed Systems 
Abhishek Dubey (Vanderbilt University)

Programming Languages for High-Assurance Autonomous Vehicles 
Lee Pike (Galois, Inc.)

SPARK 2014: Formal Program Verification For All 
Yannick Moy (AdaCore)

Multi-App Security Analysis: Looking for Android App Collusion 
Rogan Creswick (Galois, Inc. / Trans Apps)

Toward Resilient Monitoring and Control of Distributed Cyber-Physical Systems 
Xenofon Koutsoukos (Vanderbilt University)

Going Large with Formal Methods on iFACTS 
Roderick Chapman (Altran UK)

BREAK

BREAK 
 

Keynote Presentation: 
Mobile Computing - New Threats and New Solutions 
Neal Ziring (NSA)

Mining and Understanding Software Enclaves (MUSE) 
Suresh Jagannathan (DARPA)

Design and Implementation of Attack--Resilient Cyber-Physical Systems 
Miroslav Pajic (UPenn)

Local Temporal Reasoning 
Eric Koskinen (NYU)

An Aircraft Electric Power System Domain-Specific Language for Reactive Control Protocols 
Huan Xu (UMD)

Triceratops: Privacy-protecting Mobile Apps 
Edward Wu (University of Washington)

Through the Lens of Abstraction 
Aditya Thakur (University of Wisconsin)

Conference Adjourned

Text Analytics for Mobile App Security and Beyond 
Tao Xie (UIUC)

Adjourn for the day

Adjourn for the day