Model Checking An Entire Linux Distribution for Security Violations. - Benjamin Schwarz; Hao Chen 003; David A. Wagner 001; Jeremy Lin; Wei Tu 001; Geoff Morrison; Jacob West (ACSAC, 2005)

Dynamic taint propagation: Finding vulnerabilities without attacking. - Brian Chess; Jacob West (Inf. Secur. Tech. Rep., 2008)

Prioritizing static analysis results. - Brian Chess; Jacob West (Datenschutz und Datensicherheit, 2010)

Static Analysis in Motion. - Brian Chess; Kris Britton; Chris Eng; Bill Pugh; Lakshmikanth Raghavan; Jacob West (IEEE Secur. Priv., 2012)