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