A Binary Agent Technology for COTS Software Integrity - InCert Software Corporation

Agile Objects:  Component-based Inherent Suvivability - University of California, San Diego

Containment and Integrity for Mobile Code - Cornell University

FOUR-A - Agemt Adaptation and Assurance  - Carnegie Mellon University

Integrity Through Mediated Interfaces - Information Sciences Institute

PASIS - A Distributed Framework for Perpetually Available and Secure Information Systems - Carnegie Mellon University

New Approaches to Mobile Code:  Reconciling Execution Efficiency With Provable Security - University fo California, Irvine

Sandboxing Mobile Code Execution Environments - Reliable Software Technologies

Scaling Proof -Carrying Code to Production Compilers and Security Policies - Princeton University and Yale University

Secure Execution of Mobile Programs - University of California, Davis

Semantic Data Integrity - Odyssey Research Associates