HCSS 2014 - Program Agenda

Submitted by Katie Dey on Tue, 04/22/2014 - 1:43pm

DOWNLOAD PRINTER-FRIENDLY VERSION | DOWNLOAD PROCEEDINGS BOOKLET

2014 DAILY AGENDA

	TUESDAY, MAY 6 Requirements and Specification	WEDNESDAY, MAY 7 Designed-In Security & Mobility	THURSDAY, MAY 8 Reasoning about Control
0900 - 1000	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)
1000 - 1030	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
1030 - 1045	BREAK		POSTER SESSION
1045 - 1115	Programmable Hardware Support for Ubiquitous Micro-Policy Enforcement Benjamin Pierce (UPenn)	BREAK	The Cyber-Physical Limits of Control Alex Wissner-Gross (Harvard University)
1115 - 1130	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)
1130 - 1145			Logical Foundations of Cyber-Physical Systems André Platzer (CMU)
1145 - 1215	Formalization of x86 Machine-Code Programs with System Calls Warren Hunt, Jr. (UT Austin)
1215 - 1345	LUNCH	LUNCH	LUNCH
1345 - 1415	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.)
1415 - 1445	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)
1445 - 1515	Going Large with Formal Methods on iFACTS Roderick Chapman (Altran UK)	BREAK	POSTER SESSION
1515 - 1515	BREAK	Keynote Presentation: Mobile Computing - New Threats and New Solutions Neal Ziring (NSA)	POSTER SESSION
1530 - 1600	Mining and Understanding Software Enclaves (MUSE) Suresh Jagannathan (DARPA)		Design and Implementation of Attack--Resilient Cyber-Physical Systems Miroslav Pajic (UPenn)
1600 - 1615	Local Temporal Reasoning Eric Koskinen (NYU)		An Aircraft Electric Power System Domain-Specific Language for Reactive Control Protocols Huan Xu (UMD)
1615 - 1630	Local Temporal Reasoning Eric Koskinen (NYU)	Triceratops: Privacy-protecting Mobile Apps Edward Wu (University of Washington)
1630 - 1645	Through the Lens of Abstraction Aditya Thakur (University of Wisconsin)		Conference Adjourned
1645 - 1700		Text Analytics for Mobile App Security and Beyond Tao Xie (UIUC)
1700	Adjourn for the day
1715		Adjourn for the day
18:30		Conference Dinner The Chart House 300 2nd Street Annapolis, MD 21403