2002 HCSS Conference Program Agenda

2002 PROGRAM AGENDA

	WEDNESDAY, MARCH 6	THURSDAY, MARCH 7	FRIDAY, MARCH 8
0830 - 0915	Cryptol Tutorial: Overview and Elements John Launchbury (Galois)	Session Theme: A Spectrum of Industry Technology Transfer (cont'd) The SLAM Project: Debugging System Software via Static Analysis Thomas Ball Sriram K. Rajamani (Microsoft Research)	Session Theme: Tools and Techniques High-Assurance Java Card Alessandro Coglio (Kestrel Institute)
			Specification of AIM Crypto Engines Mark Tullsen & John Launchbury (OGI School of Science and Engineering at OHSU)
0915 - 1000
		Session Theme: Foundations Mechanically Verified Stack Challenge J Strother Moore (University of Texas, Austin)
1000 - 1030		BREAK	BREAK
1030 - 1115		Towards Evolving Specs of Security Protocols Dusko Pavlovic (Kestrel Institute)	John Schlipf (University of Cincinnati)
1115 - 1200		Secure Mobile Code Infrastructure and Types Patrick Lincoln (SRI)	Programatica Summary James Hook (OGI School of Science and Engineering at OHSU)
1200 - 1330	LUNCH	LUNCH	LUNCH
1330 - 1345	Opening Remarks Paul Pittelli (National Security Agency)	Foundations for Survivable Systems Engineering Richard C. Linger Andrew P. Moore (Carnegie Mellon University)	Session Theme: Engineering and Experimentation Trustworthy Kernel Separation Through Monads Peter White & James Hook (OGI School of Science and Engineering at OHSU)
1345 - 1400	Session Theme: A Spectrum of Industry Technology Transfer Evaluatable, High-Assurance Microprocessors David Greve & Matthew Wilding (Rockwell Collins)
1400 - 1415
1415 - 1430		Session Theme: Tools and Techniques Cryptol: A Domain Specific Language for Cryptography Jeff Lewis (Galois)	A High-Confidence Broker of Security Services Tim Sauerwein (Galois)
1430 - 1445
1445 - 1500	BREAK
1500 - 1530	GemClassifier, a Formally Developed Smart Card Jean-Louis Lanet (Gemplus Research Laboratory)	BREAK	BREAK
1530 - 1600		Synthesis of a Complex Software Vulnerability Analyzer (SVA) James McDonald (Kestrel Institute)	Verifying a Separation Kernel for a Cryptographic Device: A Status Report Connie Heitmeyer (Naval Research Laboratory)
1600 - 1615	Correctness by Construction: Developing a Commerical Secure System Roderick Chapman, Praxis Critical Systems Limited
1615 - 1630		Merging Safety and Assurance: The Process of Dual Certification for FAA and the Common Criteria Carol Taylor Jim Alves-Foss Bob Rinker (University of Idaho)	Reliability Testing of Cots Security-Based Software Applications William W. Everett (SPRE, Inc.)
1630 - 1645
1645 - 1700
1700		Practical Model Checking John Penix (NASA Ames Research Center)	Conference Adjourned
1715	Adjourn for the day
1745		Adjourn for the day
1830		Conference Dinner The Chart House 300 2nd Street Annapolis, MD 21403