2003 Program

2003 PROGRAM AGENDA

 
 

TUESDAY APRIL 1

 
WEDNESDAY APRIL 2
THURSDAY APRIL 3
0830 - 0845
Brian Snow
(NSA)
A Validation Methodology for Secure and Survivable Systems
Jay Lala
(SRI)

The FAA Information System Security (ISS) R&D Program: A program focused on the FAA Mission goals of Safety, Security and Efficiency
Marshall Potter
(Federal Aviation Administration)

0845 - 0930
Introducing Cyberlogic
Harald Rueß
(SRI)
0930 - 0945
BREAK
BREAK
0945 - 1000
 

BREAK

 
1000 - 1100

Embedded Deduction with ICS
John Rushby
(SRI)

Marti R. Stytz and Jeff Hughes
(Air Force Research Laboratory, Wright-Patterson AFB)

Secure Software from Design to Binary
Martin Salois
(DRDC Valcartier)
1100 - 1200

Programatica Tools for Certifiable, Auditable Development of High-Assurance Systems in Haskell
Mark P. Jones
(OGI School of Science and Engineering at OHSU)

Towards a Semantic Framework
for Secure Agents

Carolyn Talcott
(SRI)
The Oregon Separation Kernel: Separation Through Monads
Peter White
(OGI School of Science and Engineering at OHSU)
 

1200 - 1330
 

LUNCH

 
1330 - 1430
v Faat: von Neumann Formal Analysis and Annotation Tool
David Greve
(Rockwell Collins)
Code Generation for High Assurance Java Car Applets
Alessandro Coglio
(Kestrel Institute)

 

Correctness by Construction of
High-Integrity Software

Roderick Chapman
(Praxis)

 

1430 - 1500
 

BREAK

 
1500 - 1600
Jeff Golden, Warren J. Hunt Jr., Hanbing Liu, Robert Krug, and J Strother Moore
(University of Texas at Austin)
Derivation of the JFK Protocol
Dusko Pavlovic
(Kestrel Institute)

A High-Assurance Partitioned Development Environment
Matthew Wilding
(Rockwell Collins)
1600 - 1700

Trustworthy Refinement through Intrusion-Aware Design (TRIAD): An Overview
Andrew P. Moore
(Software Engineering Institute)

Cryptyc: A Cryptographic Protocol Type Checker
Alan Jeffrey
(Depaul University
An Approach to Compiling
Cryptol to FPGAs

John Launchbury
(Galois)
1700

Adjourn for the Day

 

Adjourn for the Day

 

Conference Adjourns