Program

Visible to the public 

 

 
Tuesday, May 6
Requirements and Specification
Wednesday, May 7
Designed-In Security & Mobility
Thursday, May 8
Reasoning about Control
09:00
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)
10:00
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)
Poster Session
10:30
 
Break
 
10:45
Programmable Hardware Support for Ubiquitous Micro-Policy Enforcement
Benjamin Pierce (UPenn)
Break
The Cyber-Physical Limits of Control
Alex Wissner-Gross (Harvard University)
11:15
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)
11:30
Logical Foundations of Cyber-Physical Systems
Andre Platzer (CMU)
11:45
Formalization of x86 Machine-Code Programs with System Calls
Warren Hunt, Jr. (UT Austin)
12:15
 
Lunch

 
 
Lunch

 
 
Lunch

 
13:45
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.)
14:15
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)
14:45
Going Large with Formal Methods on iFACTS
Roderick Chapman (Altran UK)
Break
Poster Session
15:15
 
Break
 
Keynote Presentation:
Mobile Computing - New Threats and New Solutions
Neal Ziring (NSA)
15:30
Mining and Understanding Software Enclaves (MUSE)
Suresh Jagannathan (DARPA)
Design and Implementation of Attack--Resilient Cyber-Physical Systems
Miroslav Pajic (UPenn)
16:00
Local Temporal Reasoning
Eric Koskinen (NYU)
An Aircraft Electric Power System Domain-Specific Language for Reactive Control Protocols
Huan Xu (UMD)
16:15
Triceratops: Privacy-protecting Mobile Apps
Edward Wu (University of Washington)
16:30
Through the Lens of Abstraction
Aditya Thakur (University of Wisconsin)
Conference Adjourned
16:45
Text Analytics for Mobile App Security and Beyond
Tao Xie (UIUC)
17:00
Adjourn for the day
17:15
Adjourn for the day
17:30
18:30
Conference Dinner (no host)
Chart House Annapolis

 


Conference Archives: 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013