Visible to the public 2001 HCSS Conference Program Agenda

2001 HCSS Conference Program Agenda

Conference Archives: 20012002200320042005200620072008200920102011201220132014

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