Timothy L. Hinrichs

24 papers A* 4A 1C 3Journal 2Unranked 12

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