| 2014 | SACMAT | An actor-based, application-aware access control evaluation framework. | William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs |
| 2013 | PLDI | WEBLOG: a declarative language for secure web development. | Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck |
| 2012 | NSPW | The need for application-aware access control evaluation. | William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs |
| 2011 | CCS | WAPTEC: whitebox analysis of web applications for parameter tampering exploit construction. | Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, V. N. Venkatakrishnan |
| 2011 | PADL | Plato: A Compiler for Interactive Web Forms. | Timothy L. Hinrichs |
| 2010 | CCS | NoTamper: automatic blackbox detection of parameter tampering opportunities in web applications. | Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, Radoslaw Bobrowicz, V. N. Venkatakrishnan |
| 2009 | SIGCOMM | Practical declarative network management. | Timothy L. Hinrichs, Natasha Gude, Martn Casado, John C. Mitchell, Scott Shenker |
| 2008 | CADE | Collaborative Programming: Applications of Logic and Automated Reasoning. | Timothy L. Hinrichs |
| 2008 | KR | Injecting the How into the What: Investigating a Finite Classical Logic. | Timothy L. Hinrichs, Michael R. Genesereth |
| 2005 | AAAI | Axiom Schemata as Metalevel Axioms: Model Theory. | Timothy L. Hinrichs, Michael R. Genesereth |