2006 HCSS Conference Program Agenda

2006 PROGRAM AGENDA

	MONDAY, APRIL 17	TUESDAY, APRIL 18	WEDNESDAY, APRIL 19
0830 - 0840	Tutorial SPARK Language and Toolset: An Intensive Overview Roderick Chapman (Praxis)	Welcome and Introductions Fred Chang (NSA)	Keynote Presentation Seeking Trust Through Specification, Verification, Evaluation, and Analysis Warren Hunt (University of Texas)
0840 - 0930		Keynote Presentation Verified Software: The Next Step Jayadev Misra (University of Texas)
0930 - 1000		Assured RTOS: Research Needs for Assured Real-Time Technology Infrastructure Helen Gill (NSF)	Verified Cryptographic Protocol Analysis Vision and Status Carolyn Talcott (SRI)
1000 - 1015	BREAK	BREAK
1015 - 1030			BREAK
1030 - 1100	Tutorial SPARK Language and Toolset: An Intensive Overview Roderick Chapman (Praxis)	Joe Jarzombek (DHS)	High-Confidence Java Card Applets and Runtime Environment Alessandro Coglio (Kestrel Institute)
1100 - 1115		DoD Software Assurance Concept of Operations Larry Wagoner (NSA)
1115 - 1130			Building Multilevel Secure Web Services-Based Components for the Global Information Grid John Launchbury (Galois Connections)
1130 - 1200		NSA Center for Assured Software Kris Britton (NSA)
1200 - 1300	LUNCH	LUNCH	LUNCH
1300 - 1330		System-Specific Static Bug Finding: Tricks, (Bitter) Experience, Open Problems Dawson Engler (Stanford University)	Destiny: Computer Aided Bottom Up Code Review Frank Rimlinger (NSA)
1330 - 1345	Tutorial Problems, Methods, and Tools of Security Engineering Dusko Pavlovic (Kestrel Institute)
1345 - 1400		Is Software Assurance An Oxymoron? Is Mathematics a Resolution? Dan Craigen (CSE)	Robust Verification Tools for Improved Secure System Evaluation David Hardin, Rockwell Collins
1400 - 1430
1430 - 1445		BREAK	BREAK
1445 - 1500		Computer Security Education: Are We There Yet? Carol Taylor (University of Idaho)	Defect Density Estimation Through Verificaiton and Validation Mark Sherriff (NC State)
1500 - 1530	BREAK
1530 - 1600	Tutorial Problems, Methods, and Tools of Security Engineering Dusko Pavlovic (Kestrel Institute)	Practical Verification & Safeguard Tools for C/C++ and Java Fred Michaud (DRDC)	Formalized Elliptic Curve Cryptography Joe Hurd (Cambridge University)
1600 - 1615
1615 - 1700		Function Extration (FX) Technology: Automated Calcluation of Program Behavior for Software Assurance Stacy Prowell (Carnegie Mellon University)	Proving Separation for a Working Microkernel Implementation Andrew Tolmach (Portland State University) and John Matthews (Galois Connections)
1700	Adjourn for the Day	Adjourn for the Day	Conference Adjourned
1830		Conference Dinner The Chart House 300 2nd Street Annapolis, MD 21403