2003 PROGRAM AGENDA
|
|
|
|
|
|---|---|---|---|
| 0830 - 0845 |
(NSA) |
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 |
| 0845 - 0930 |
Harald Rueß (SRI) |
||
| 0930 - 0945 |
|
|
|
| 0945 - 1000 |
|
||
| 1000 - 1100 |
Embedded Deduction with ICS |
Marti R. Stytz and Jeff Hughes |
Martin Salois (DRDC Valcartier) |
| 1100 - 1200 |
Programatica Tools for Certifiable, Auditable Development of High-Assurance Systems in Haskell |
for Secure Agents Carolyn Talcott (SRI) |
Peter White (OGI School of Science and Engineering at OHSU) |
| 1200 - 1330 |
|
||
| 1330 - 1430 |
David Greve (Rockwell Collins) |
Alessandro Coglio (Kestrel Institute) |
High-Integrity Software Roderick Chapman (Praxis)
|
| 1430 - 1500 |
|
||
| 1500 - 1600 |
(University of Texas at Austin) |
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 |
Alan Jeffrey (Depaul University |
Cryptol to FPGAs John Launchbury (Galois) |
| 1700 |
Adjourn for the Day
|
Adjourn for the Day
|
Conference Adjourns
|
