Timothy L. Hinrichs

Publication Activity (10 Years)

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

Top Topics

Web Development

Web Applications

Top Venues

Publications

Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, V. N. Venkatakrishnan
Automated detection of parameter tampering opportunities and vulnerabilities in web applications. J. Comput. Secur. 22 (3) (2014)
William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs
An actor-based, application-aware access control evaluation framework. SACMAT (2014)
Nazari Skrupsky, Prithvi Bisht, Timothy L. Hinrichs, V. N. Venkatakrishnan, Lenore D. Zuck
TamperProof: a server-agnostic defense for parameter tampering attacks on web applications. CODASPY (2013)
William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs
The Design and Demonstration of an Actor-Based, Application-Aware Access Control Evaluation Framework CoRR (2013)
Timothy L. Hinrichs, Diego Martinoia, William C. Garrison III, Adam J. Lee, Alessandro Panebianco, Lenore D. Zuck
Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness. CSF (2013)
Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck
WEBLOG: a declarative language for secure web development. PLAS (2013)
Nazari Skrupsky, Maliheh Monshizadeh, Prithvi Bisht, Timothy L. Hinrichs, V. N. Venkatakrishnan, Lenore D. Zuck
WAVES: Automatic Synthesis of Client-Side Validation Code for Web Applications. CyberSecurity (2012)
William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs
The need for application-aware access control evaluation. NSPW (2012)
Nazari Skrupsky, Maliheh Monshizadeh, Prithvi Bisht, Timothy L. Hinrichs, Venkat N. Venkatakrishnan, Lenore D. Zuck
Don't Repeat Yourself: Automatically Synthesizing Client-side Validation Code for Web Applications. WebApps (2012)
Sandro Etalle, Timothy L. Hinrichs, Adam J. Lee, Daniel Trivellato, Nicola Zannone
Policy Administration in Tag-Based Authorization. FPS (2012)
Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, V. N. Venkatakrishnan
WAPTEC: whitebox analysis of web applications for parameter tampering exploit construction. CCS (2011)
Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, John C. Mitchell
TBA : A Hybrid of Logic and Extensional Access Control Systems. Formal Aspects in Security and Trust (2011)
Timothy L. Hinrichs
Plato: A Compiler for Interactive Web Forms. PADL (2011)
Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, Radoslaw Bobrowicz, V. N. Venkatakrishnan
NoTamper: automatic blackbox detection of parameter tampering opportunities in web applications. CCS (2010)
Wonseok Chae, Timothy L. Hinrichs
SMARTFORM: A Web-based Feature Configuration Tool. VaMoS (2010)
Timothy L. Hinrichs, Eric Jui-Yi Kao, Michael R. Genesereth
Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. SARA (2009)
Timothy L. Hinrichs, Natasha Gude, Martín Casado, John C. Mitchell, Scott Shenker
Practical declarative network management. WREN (2009)
Timothy L. Hinrichs
Collaborative Programming: Applications of Logic and Automated Reasoning. PAAR/ESHOL (2008)
Timothy L. Hinrichs, Michael R. Genesereth
Injecting the How into the What: Investigating a Finite Classical Logic. KR (2008)
Timothy L. Hinrichs, Michael R. Genesereth
Reformulation for Extensional Reasoning. SARA (2007)
Timothy L. Hinrichs
Extensional Reasoning. SARA (2007)
Timothy L. Hinrichs, Michael R. Genesereth
Axiom Schemata as Metalevel Axioms: Model Theory. AAAI (2005)