2001 HCSS Conference Program Agenda | Science of Security Virtual Organization

High Confidence Software and Systems Conference

The twenty-fifth annual High Confidence Software and Systems (HCSS) Conference, renowned for bringing together a world-class community of researchers, will take place during the week of May 12th, 2025 in Annapolis, Maryland. This annual event is structured to explore and promote new scientific and technological foundations essential for the development of next-generation engineered designs, crucial for the effective operation of life-, safety-, security-, and mission-critical systems.

2001 HCSS Conference Program Agenda

Wednesday, March 28

9:00 am	High Confidence Software and Systems Brad Martin, NSA
9:15 am	Programatica: The Early Years Mark P. Jones, Oregon Graduate Institute
10:00 am	Krenz Security Architecture: Programatica Case Study Peter White, Oregon Graduate Institute
10:45 am	Break
11:00 am	Common Data Security Architecture (CDSA) Formal Development Peter White, Galois
11:45 am	Lunch
1:15 pm	Advanced Infosec Machine Model and DSLs John Launchbury, Oregon Graduate Institue
2:00 pm	Cryptol: A Domain-Specific Language for Cryptographic Service Providers Jeff Lewis, Galois
2:45 pm	Break
3:00 pm	Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? Carol Smidts, University of Maryland
3:45 pm	Trusting Software: The Impossible Dream Made Possible Tim Kremann, NSA
4:30 pm	Adjourn for the Day

Thursday, March 29

9:00 am	Welcome and Introductions Brad Martin, NSA
9:15 am	Specware John Anton, Kestrel Institute
10:00 am	High-Assurance Java Virtual Machine Alessandro Coglio, Kestrel Institute
10:45 am	Break
11:00 am	An Approach to Software Vulnerability Analysis (SVA) James McDonald, Kestrel Institute
11:45 am	Lunch
1:15 pm	Pragmatic Approaches with COTS John Martin, Wisdom Software
2:00 pm	Java Model Checking Willem Visser, NASA Ames Research
2:45 pm	Break
3:00 pm	Program Verification and the Church-Rosser Theorem Peter Homeier, NSA
3:45 pm	A BDD/SAT Solver for Formal Verification Applications James Franco, University of Cincinnati
4:30 pm	Adjourn for the day

Friday, March 30

9:00 am	Welcome and Introductions Brad Martin, NSA
9:15 am	Keynote Presentation: Disappearing Formal Methods John Rushby, SRI
10:15 am	Break
10:30 am	The Survivable Network Analysis Method: Assessing Survivability of Critical Systems Tom Longstaff, CMU
11:15 am	Automated Reliability Testing - ART William W. Everett, SPRE. Inc.
Noon	Tools to Support Enterprise Assurance Arguments Judy Froscher, Naval Research Labs
12:45 pm	Conference Wrap-up Brad Martin, NSA
1:00 pm	Lunch
2:00 pm	Demonstrations
5:00 pm	Conference Adjourned