2004 HCSS Conference Program Agenda

Submitted by Anonymous on Fri, 07/12/2013 - 5:43pm

2004 PROGRAM AGENDA

	WEDNESDAY APRIL 13	THURSDAY APRIL 14	FRIDAY APRIL15
0830 - 0915	Tutorial: Cryptol John Launchbury (Galois)	Flexible Formal Methods for High Assurance: The Maude Experience José Meseguer (University of Illinois)	Transparency: An Application Context for High Confidence Software and Systems (HCSS) Tools and Methods Paul Timmel (NSA)
0915 - 0930		High Confidence Software and Systems: A Rockwell Collins Perspective Matthew Wilding (Rockwell Collins)
0930 - 1000			Modelling Key Distribution, Art to Science Eric Bush (Kestrel Technology)
1000 - 1015	BREAK	BREAK
1015 - 1030	BREAK	BREAK	BREAK
1030 - 1115	Tutorial: Programatica Mark P. Jones (Oregon Health and Science University)	Theorem Provers: as High Assurance Programming Environments J. Strother Moore (University of Texas)	Trusted Web Server John Launchbury (Galois)
1115 - 1200		Usage of Intermediate Java Byte Code to Verify Wireless Java Applications Andre Krutzfeldt (Sun Microsystems)	Security by Construction – Engineering Software to Exceed EAL5 David Cooper (Praxis Critical Systems Limited)
1200 - 1330	LUNCH	LUNCH (Tool Demonstrations)	LUNCH (Tool Demonstrations)
1330 - 1415	Keynote Address: Sir Tony Hoare (Oxford University / Microsoft Research Cambridge)	Formally Verified Encryption of High-Level Datatypes: An Application of Polytypism Konrad Slind (University of Utah)	Synthesis of Provably Correct Java Car Applets and Platform Alessandro Coglio (Kestrel Institute)
1415 - 1430		Ad Hoc Data: An Opportunity for Domain-specific Languages Kathleen Fisher (AT&T)	Formal Derivation of Security Protocols Anupam Datta (Stanford University)
1430 - 1500	Increased Information Flow Needs for High-Assurance Composite Evaluations Paul Karger (IBM)
1500 - 1515		BREAK	BREAK
1515 - 1530	BREAK	BREAK	BREAK
1530 - 1615	Trust Engineering with Cryptographic Protocols Joshua Guttman (The MITRE Corporation)	Panel Discussion Sir Tony Hoare, Helen Gill, Cordell Green, Jon Pincus, Bill Scherlis, Dickie George	Designing and Testing a High Assurance ASN.1 Compiler Andy Moran (Galois)
1615 - 1700	Static Driver Verifier: Finding Device Driver Bugs at Compile-time Byron Cook (Microsoft)		Alan Newman (General Dynamics)
1700 - 1715	Adjourn for the Day	Adjourn for the Day	Conference Adjourned
1715	Tours of the Ship and Port Modeling Simulator at the Maritime Institute	Adjourn for the Day	Conference Adjourned