The Advanced Secure DBMS: Making Secure DBMSs Usable. - Cristi Garvey; Nancy R. Jensen; Jackson Wilson (DBSec, 1988)

ASDViews [relational databases]. - Cristi Garvey; Amy Wu (S&P, 1988)

A Layered TCB Implementation versus the Hinke-Schaefer Approach. - Cristi Garvey; Thomas H. Hinke; Nancy R. Jensen; Jane Solomon; Amy Wu (DBSec, 1989)

The Deductive Theory Manager: A Knowledge Based System for Formal Verification. - Ben L. Di Vito; Cristi Garvey; D. Kwong; A. Murray; Jane Solomon; Amy Wu (S&P, 1990)

Secure system architectures and integration. - Amy Wu; Eric R. Anderson 001; Cristi Garvey (ACSAC, 1992)