Visible to the public 2002 HCSS Conference Program Agenda

2002 HCSS Conference Program Agenda

Conference Archives: 20012002200320042005200620072008200920102011201220132014

Wednesday, March 6

8:30 am Cryptol Tutorial: Overview and Elements
John Launchbury, Galois
Noon Lunch
1:30

Opening Remarks
Paul Pittelli, NSA

1:45 pm

- A Spectrum of Industry Technology Transfer

Evaluatable, High-Assurance Microprocessors
David Greve and Matthew Wilding, Rockwell Collins

2:45 pm

Break

3:00 pm GemClassifier, a Formally Developed Smart Card
Jean-Louis Lanet, Gemplus Research Laboratory
4:00 pm Correctness by Construction: Developing a Commerical Secure System
Roderick Chapman, Praxis Critical Systems Limited
5:15 pm Adjourn for the day

Thursday, March 7

8:30 am

- A Spectrum of Industry Technology Transfer (cont'd) -

Thomas Ball and Sriram K. Rajamani, Microsoft Research
9:15 am

- Foundations -

Mechanically Verified Stack Challenge
J Strother Moore, University of Texas at Austin

10:00 am Break
10:30 am Towards Evolving Specs of Security Protocols
Dusko Pavlovic, Kestrel Institute
11:15 am Secure Mobile Code Infrastructure and Types
Patrick Lincoln, SRI
Noon Lunch
1:30 pm Foundations for Survivable Systems Engineering
Richard C. Linger and Andrew P. Moore, Carnegie Mellon University
2:15 pm

- Tools and Techniques -

Cryptol: A Domain Specific Language for Cryptography
Jeff Lewis, Galois

3:00 pm Break
3:30 pm Synthesis of a Complex Software Vulnerability Analyzer (SVA)
James McDonald, Kestrel Institute
4:15 pm Merging Safety and Assurance: The Process of Dual Certification for FAA and the Common Criteria
Carol Taylor, Jim Alves-Foss, and Bob Rinker, University of Idaho
5:00 pm Practical Model Checking
John Penix, NASA Ames Research Center
5:45 pm Adjourn for the day
7:30 pm Conference Dinner at The Annapolis Chart House


Friday, March 8

8:30 am

- Tools and Techniques (cont'd) -

High-Assurance Java Card
Alessandro Coglio, Kestrel Institute

9:15 am Specification of AIM Crypto Engines
Mark Tullsen and John Launchbury, OGI School of Science and Engineering at OHSU
10:00 am Break
10:30 am John Schlipf, University of Cincinnati
11:15 am Programatica Summary
James Hook, OGI School of Science and Engineering at OHSU
Noon Lunch
1:30 pm

- Engineering and Experimentation -

Trustworthy Kernel Separation Through Monads
Peter White and James Hook, OGI School of Science and Engineering at OHSU

2:15 pm A High-Confidence Broker of Security Services
Tim Sauerwein, Galois
3:00 pm Break
3:30 pm Verifying a Separation Kernel for a Cryptographic Device: A Status Report
Connie Heitmeyer, Naval Research Laboratory
4:15 pm Reliability Testing of Cots Security-Based Software Applications
William W. Everett, SPRE, Inc.
5:00 pm Conference Adjourned