Timothy L. Hinrichs
University of Illinois Chicago(US)
Publications by Year
Research Areas
Security and Verification in Computing, Access Control and Trust, Web Application Security Vulnerabilities, Logic, programming, and type systems, Semantic Web and Ontologies
Most-Cited Works
- → Practical declarative network management(2009)195 cited
- → NoTamper(2010)93 cited
- → WAPTEC(2011)74 cited
- → Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness(2013)24 cited
- → TamperProof(2013)19 cited
- → TBA : A Hybrid of Logic and Extensional Access Control Systems(2012)11 cited
- → An actor-based, application-aware access control evaluation framework(2014)11 cited
- → Model Check What You Can, Runtime Verify the Rest(2018)9 cited
- → WAVES: Automatic Synthesis of Client-Side Validation Code for Web Applications(2012)8 cited
- Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases(2009)