Visible to the public 2004 HCSS Conference Program Agenda

2004 HCSS Conference Program Agenda

Conference Archives: 20012002200320042005200620072008200920102011201220132014

Tuesday, April, 13

8:30 am Cryptol Tutorial
John Launchbury, Galois
10:00 am Break
10:30 am

Tutorial: Programatica
Mark P. Jones, Oregon Health & Science University

Noon Lunch
1:30 pm Keynote Address - The Verifying Compiler: A Grand Challenge for Computing Research
Sir Tony Hoare, Oxford University & Microsoft Research
2:30 pm Increased Information Flow Needs for High-Assurance Composite Evaluations
Paul Karger, IBM
3:15 pm Break
3:30 pm Trust Engineering with Cryptographic Protocols
Joshua Guttman, The MITRE Corporation
4:15 pm Static Driver Verifier – Introduction
Byron Cook, Microsoft Research
5:00 pm Adjourn for the day
5:15 pm Tours of the Ship and Port Modeling Simulator at the Maritime Institute

Wednesday, April 14

8:30 am Flexible Formal Methods for High-Assurance: The Maude Experience
Jose Meseguer, University of Illinois
9:15 am Formal Verification of AAMP7 Intrinsic Partitioning
Matthew Wilding, Rockwell Collins
10:00 am Break
10:30 am Theorem Provers as High Assurance Programming Environments
J. Strother Moore, University of Texas
11:15 am Usage of Intermediate Java Byte Code to Verify Wireless Java Applications
Andre Krutzfeldt, Sun Microsystems
Noon Lunch & Tool Demonstrations
1:30 pm Formally Verified Encryption of High-Level Datatypes
Konrad Slind, University of Utah
2:15 pm Ad Hoc Data: An Opportunity for Domain-Specific Languages
Kathleen Fisher, AT&T
3:00 pm Break
3:30 pm Panel Discussion
Panelists: Sir Tony Hoare, Helen Gill, Cordell Green, Jon Pincus, Bill Scherlis, Dickie George


Thursday, April 15

8:30 am Transparency: An Application Context for High Confidence Software and Systems (HCSS) Tools and Methods
Paul Timmel, NSA
9:30 am Modeling Key Distribution
Eric Bush, Kestrel Technology
10:15 am Break
10:30 am Cross Domain Solutions: Trusted Web Service Engine
John Launchbury, Galois
11:15 am Security by Construction – Engineering Software to Exceed EAL5
David Cooper, Praxis Critical Systems Limited
Noon Lunch – Tool Demonstrations
1:30 pm Synthesis of Provably Correct Java Card Applets and Platform
Alessandro Coglio, Kestrel Institute
2:15 pm Formal Derivation of Security Protocols
Anupam Datta, Stanford University
3:00 pm Break
3:30 pm Designing and Testing a High Confidence ASN.1 Compiler
Andy Adams-Moran, Galois
4:15 pm Alan Newman, General Dynamics
5:00 pm Conference Adjourned