High Confidence Software and Systems

Brad Martin (NSA)

Programatica: The Early Years

Mark P. Jones 

(Oregon Graduate Institute)

Specware

John Anton 

(Kestrel Institute)

Keynote Presentation

Disappearing Formal Methods

John Rushby (SRI)

Krenz Security Architecture

Programatica Case Stud

Peter White 

(Oregon Graduate Institute)

High-Assurance Java Virtual Machine

Alessandro Coglio 

(Kestrel Institute)

The Survivable Network Analysis Method: Assessing Survivability of Critical Systems

Tom Longstaff (CMU)

Common Data Security Architecture (CDSA) Formal Development

Peter White (Galois)

An Approach to Software Vulnerability Analysis (SVA)

James McDonald 

(Kestrel Institute)

Automated Reliability Testing - ART

William W. Everett 

(SPRE, Inc.)

Tools to Support Enterprise Assurance Arguments

Judy Froscher 

(Naval Research Labs)

Conference Wrap-up

Brad Martin (NSA)

Advanced Infosec Machine Model and DSLs

John Launchbury 

(Oregon Graduate Institute)

Pragmatic Approaches with COTS

John Martin 

(Wisdom Software)

Cryptol: A Domain-Specific Language for Cryptographic Service Providers

Jeff Lewis (Galois)

Java Model Checking

Willem Visser 

(NASA Ames Research)

Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology?

Carol Smidts 

(University of Maryland)

Program Verification and the Church-Rosser Theorem

Peter Homeier (NSA)

Trusting Software

The Impossible Dream Made Possible

Tim Kremann (NSA)

A BDD/SAT Solver for Formal Verification Applications

James Franco 

(University of Cincinnati)