Monday, March 11, 2002

1300-1700 – Quarterly Agent Review Meeting

1700-2000 – Evening Pre-registration

Tuesday, March 12

0700-0800

Registration and Continental Breakfast

 

0800-0830

Administrative Remarks and Program Manager’s Welcome

Jay Lala (DARPA)

0830-0900

Mr Fusion: A Programmable Voting and Data Fusion Middleware Sybsystem with a Tunavle Statistical Profiling Service

Dave Bakken (Washington State University)

0900-0930

A High Security Information System

Joe Johnson (Univ. of S. Carolina)

0930-1000

A Binary Agent Technology for COTS Software Integrity

Richard Schooler (InCert Software Corp)

1000-1030

Break

 

1030-1100

Scaling Proof-carrying Code to Production Compilers

Zhong Shao (Yale University)

1100-1130

Hierarchical Adaptive Control for QoS Intrusion Tolerance

Jim Just (Teknowledge)

1130-1200

Tolerating Intrusions Through Secure System Reconfiguration

Alexander Wolf (Univ of Colorado)

1200-1300

Lunch

 

1300-1330

Enterprise Wrappers

Mark Feldman (NAI Labs)

1330-1400

Enterprise Wrappers

Bob Balzer (Teknowledge)

1400-1430

Integrity Through Mediated Interfaces

Bob Balzer (Teknowledge)

1430-1500

Sandboxing Mobile Code Execution Environments

Gary McGraw (Cigital Corporation)

1500-1530

Group Discussion

 

1530-1600

Break

 

1600-1630

Intrusion Tolerant Distributed Object Systems

Gregg Tally (NAI Labs)

1630-1700

Agile Objects – Component-based Inherent Survivability

Andrew Chien (UC, San Diego)

1700-1800

Sidebars

Jay Lala

Wednesday, March 13

0700-0800

Registration and Continental Breakfast

 

0800-0815

Army Tactical C2 Program

Chris Pilla

0815-0830

Army Battle Command Systems

Marie Collins

0830-0900

Discussion

 

0900-1030

Workshop (Validation Framework)

 

1030-1100

Break

 

1100-1230

Workshop (Validation Framework)

 

1230-1330

Lunch

 

1330-1400

Randomized Failover Intrusion Tolerant Systems (RFITS)

Ranga Ramanujan (Architecture Technology Corp)

1400-1430

Active Trust Management for Autonomous Adaptive Survivable Systems

Howie Shrobe (MIT)

1430-1500

Group Discussion

 

1500-1530

Break

 

1530-1600

Intrusion Tolerant Software Architecture

Victoria Stavridou (SRI International)

1600-1630

Dependable Intrusion Tolerance

Alfonso Valdes (SRI International)

1630-1700

Group Discussion

 

1700-1800

Sidebars

Jay Lala

1800- 2000

No-host Social

 

1830- 2030

Demonstrations

 

Thursday, March 14

0700-0800

Registration and Continental Breakfast

 

0800-0830

Intrusion Tolerant Server Infrastructure

Dick O’Brien (Secure Computing Corporation)

0830-0900

SITAR: A Scalable Intrusion –Tolerant Architecture for Distributed Services

Feiyi Wang (MCNC)

0900-0930

Intrusion Tolerance Using Masking, Redundancy, and Dispersion

Janet Lepanto (Draper Lab)

0930-1000

Group Discussion

 

1000-1030

Break

 

1030-1100

Intrusion Tolerance by Unpredictable Adaptation (IT by UA)

Partha Pal (BBN Technologies)

1100-1130

Autonomix: Component, Network, and System Autonomy

Crispin Cowan (WireX Communications, Inc.)

1130-1200

Group Discussion

 

1200-1300

Lunch

 

1300-1330

A Distributed Framework for Perpetually Available and Secure Information Systems

Greg Ganger (CMU)

1330-1400

Engineering a Distributed Intrusion Tolerant Database System Using COTS Components

Peng Liu (Univ of Maryland, Baltimore County)

1400-1430

Self Protecting Mobile Agents

Lee Badger (NAI Labs)

1430-1500

Group Discussion

 

1500-1530

Break

 

1530-1600

Containment and Integrity for Mobile Code

Andrew Myers (Cornell University)

1600-1630

An Aspect-Oriented Security Assurance Solution

Gary McGraw (Cigital)

1630-1700

Group Discussion

 

1700-1800

Sidebars

Jay Lala

Friday, March 15

0700-0800

Continental Breakfast

 
     
     

1030-1100

Program Manager’s Closing Remarks

Jay Lala

1100-1200

Sidebars

Jay Lala

     

Currently Unscheduled