Michael C. Martin

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Michael C. Martin, Monica S. Lam
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking. USENIX Security Symposium (2008)
Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley
Securing web applications with static and dynamic information flow tracking. PEPM (2008)
Michael C. Martin, V. Benjamin Livshits, Monica S. Lam
Finding application errors and security flaws using PQL: a program query language. OOPSLA (2005)
Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel
Context-sensitive program analysis as database queries. PODS (2005)
Xiaoye S. Li, James Demmel, David H. Bailey, Greg Henry, Yozo Hida, Jimmy Iskandar, William Kahan, Suh Y. Kang, Anil Kapur, Michael C. Martin, Brandon Thompson, Teresa Tung, Daniel J. Yoo
Design, implementation and testing of extended and mixed precision BLAS. ACM Trans. Math. Softw. 28 (2) (2002)
John Whaley, Michael C. Martin, Monica S. Lam
Automatic extraction of object-oriented component interfaces. ISSTA (2002)