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 (Formal Aspects in Security and Trust, 2011)

The need for application-aware access control evaluation. - William C. Garrison III; Adam J. Lee; Timothy L. Hinrichs (NSPW, 2012)

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 (CSF, 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)

On the suitability of dissemination-centric access control systems for group-centric sharing. - William C. Garrison III; Yechen Qiao; Adam J. Lee (CODASPY, 2014)

An actor-based, application-aware access control evaluation framework. - William C. Garrison III; Adam J. Lee; Timothy L. Hinrichs (SACMAT, 2014)

Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations. - William C. Garrison III; Adam J. Lee (CSF, 2015)

Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations (Extended Version). - William C. Garrison III; Adam J. Lee (CoRR, 2015)

On the Practicality of Cryptographically Enforcing Dynamic Access Control Policies in the Cloud. - William C. Garrison III; Adam Shull; Steven A. Myers; Adam J. Lee (IEEE Symposium on Security and Privacy, 2016)

Dynamic and Private Cryptographic Access Control for Untrusted Clouds: Costs and Constructions (Extended Version). - William C. Garrison III; Adam Shull; Adam J. Lee; Steven A. Myers (CoRR, 2016)