Timothy L. Hinrichs

According to our database, Timothy L. Hinrichs authored at least 27 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Automated detection of parameter tampering opportunities and vulnerabilities in web applications.

Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, V. N. Venkatakrishnan

J. Comput. Secur., 2014

An actor-based, application-aware access control evaluation framework.

William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs

Proceedings of the 19th ACM Symposium on Access Control Models and Technologies, 2014

Model Check What You Can, Runtime Verify the Rest.

Timothy L. Hinrichs, A. Prasad Sistla, Lenore D. Zuck

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013

The Design and Demonstration of an Actor-Based, Application-Aware Access Control Evaluation Framework

William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs

CoRR, 2013

WEBLOG: a declarative language for secure web development.

Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness.

Timothy L. Hinrichs, Diego Martinoia, William C. Garrison III, Adam J. Lee, Alessandro Panebianco, Lenore D. Zuck

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

TamperProof: a server-agnostic defense for parameter tampering attacks on web applications.

Nazari Skrupsky, Prithvi Bisht, Timothy L. Hinrichs, V. N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the Third ACM Conference on Data and Application Security and Privacy, 2013

2012

Don't Repeat Yourself: Automatically Synthesizing Client-side Validation Code for Web Applications.

Nazari Skrupsky, Maliheh Monshizadeh, Prithvi Bisht, Timothy L. Hinrichs, Venkat N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the 3rd USENIX Conference on Web Application Development, 2012

The need for application-aware access control evaluation.

William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs

Proceedings of the New Security Paradigms Workshop, 2012

Policy Administration in Tag-Based Authorization.

Sandro Etalle, Timothy L. Hinrichs, Adam J. Lee, Daniel Trivellato, Nicola Zannone

Proceedings of the Foundations and Practice of Security - 5th International Symposium, 2012

WAVES: Automatic Synthesis of Client-Side Validation Code for Web Applications.

Nazari Skrupsky, Maliheh Monshizadeh, Prithvi Bisht, Timothy L. Hinrichs, V. N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the 2012 ASE International Conference on Cyber Security, 2012

2011

Plato: A Compiler for Interactive Web Forms.

Timothy L. Hinrichs

Proceedings of the Practical Aspects of Declarative Languages, 2011

TBA : A Hybrid of Logic and Extensional Access Control Systems.

Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, John C. Mitchell

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

WAPTEC: whitebox analysis of web applications for parameter tampering exploit construction.

Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, V. N. Venkatakrishnan

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

SMARTFORM: A Web-based Feature Configuration Tool.

Wonseok Chae, Timothy L. Hinrichs

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

NoTamper: automatic blackbox detection of parameter tampering opportunities in web applications.

Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, Radoslaw Bobrowicz, V. N. Venkatakrishnan

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Practical declarative network management.

Timothy L. Hinrichs, Natasha Gude, Martín Casado, John C. Mitchell, Scott Shenker

Proceedings of the 1st ACM SIGCOMM 2009 Workshop on Research on Enterprise Networking, 2009

Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases.

Timothy L. Hinrichs, Eric Jui-Yi Kao, Michael R. Genesereth

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

2008

Extensional reasoning.

Timothy L. Hinrichs

PhD thesis, 2008

Injecting the How into the What: Investigating a Finite Classical Logic.

Timothy L. Hinrichs, Michael R. Genesereth

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Collaborative Programming: Applications of Logic and Automated Reasoning.

Timothy L. Hinrichs

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2007

Reformulation for Extensional Reasoning.

Timothy L. Hinrichs, Michael R. Genesereth

Proceedings of the Abstraction, 2007

Extensional Reasoning.

Timothy L. Hinrichs

Proceedings of the Abstraction, 2007

Extensional Reasoning.

Tim Hinrichs, Michael R. Genesereth

Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007

2005

Axiom Schemata as Metalevel Axioms: Model Theory.

Timothy L. Hinrichs, Michael R. Genesereth

Proceedings of the Proceedings, 2005

2004

Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation.

Tim Hinrichs, Nathaniel Love, Charles J. Petrie, Lyle Ramshaw, Akhil Sahai, Sharad Singhal

Proceedings of the Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, 2004

2003

Adding AI to Web Services.

Charles J. Petrie, Michael R. Genesereth, Hans C. Bjornsson, Rada Chirkova, Martin A. Ekstrom, Hidehito Gomi, Tim Hinrichs, Rob Hoskins, Michael Kassoff, Daishi Kato, Kyohei Kawazoe, Jung Ung Min, Waqar Mohsin

Proceedings of the Agent Mediated Knowledge Management, 2003