Efficient type inference for secure information flow. - Katia Hristova; Tom Rothamel; Yanhong A. Liu; Scott D. Stoller (PLAS, 2006)

Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. - Katia Hristova; Yanhong A. Liu (VMCAI, 2006)

Efficient trust management policy analysis from rules. - Katia Hristova; K. Tuncay Tekle; Yanhong A. Liu (PPDP, 2007)

Generating Specialized Rules and Programs for Demand-Driven Analysis. - K. Tuncay Tekle; Katia Hristova; Yanhong A. Liu (AMAST, 2008)