Jacob West

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Static Analysis

Test Case Generation

Top Venues

IEEE Secur. Priv.

Publications

Brian Chess, Kris Britton, Chris Eng, Bill Pugh, Lakshmikanth Raghavan, Jacob West
Static Analysis in Motion. IEEE Secur. Priv. 10 (3) (2012)
Brian Chess, Jacob West
Prioritizing static analysis results. Datenschutz und Datensicherheit 34 (3) (2010)
Brian Chess, Jacob West
Dynamic taint propagation: Finding vulnerabilities without attacking. Inf. Secur. Tech. Rep. 13 (1) (2008)
Benjamin Schwarz, Hao Chen, David A. Wagner, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West
Model Checking An Entire Linux Distribution for Security Violations. ACSAC (2005)