| 2013 | SACMAT | Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. | Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough |
| 2012 | SACMAT | Ensuring authorization privileges for cascading user obligations. | Omar Chowdhury, Murillo Pontual, William H. Winsborough, Ting Yu, Keith Irwin, Jianwei Niu |
| 2011 | SACMAT | On the management of user obligations. | Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin |
| 2010 | CCS | Toward practical authorization-dependent user obligation systems. | Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin |
| 2010 | SP | Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. | Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle |
| 2009 | CCS | A conceptual framework for Group-Centric secure information sharing. | Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough |
| 2009 | CCS | Toward practical analysis for trust management policy. | Mark Reith, Jianwei Niu, William H. Winsborough |
| 2009 | SACMAT | Foundations for group-centric secure information sharing models. | Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough |
| 2008 | CCS | Stale-safe security properties for group-based secure information sharing. | Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough |
| 2008 | ICSE | Role-based trust management security policy analysis and correction environment (RT-SPACE). | Mark Reith, Jianwei Niu, William H. Winsborough |
| 2008 | SACMAT | R | Timothy W. Finin, Anupam Joshi, Lalana Kagal, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough, Bhavani Thuraisingham |
| 2008 | SACMAT | Enforcing security properties in task-based systems. | Keith Irwin, Ting Yu, William H. Winsborough |
| 2007 | ICDE | Apply Model Checking to Security Analysis in Trust Management. | Mark Reith, Jianwei Niu, William H. Winsborough |
| 2007 | ICSE | Engineering Trust Management into Software Models. | Mark Reith, Jianwei Niu, William H. Winsborough |
| 2007 | PLDI | Informal presentation: a trust management perspective on managing policy updates in security-typed languages. | Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett |
| 2007 | SACMAT | A posteriori compliance control. | Sandro Etalle, William H. Winsborough |
| 2006 | CCS | On the modeling and analysis of obligations. | Keith Irwin, Ting Yu, William H. Winsborough |
| 2006 | DBSEC | Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems. | Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann |
| 2006 | ICICS | Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper). | Ziqing Mao, Ninghui Li, William H. Winsborough |
| 2005 | CCS | Email feedback: a policy-based approach to overcoming false positives. | Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann |
| 2005 | CCS | Automated trust negotiation using cryptographic credentials. | Jiangtao Li, Ninghui Li, William H. Winsborough |
| 2005 | SACMAT | Integrity constraints in trust management. | Sandro Etalle, William H. Winsborough |
| 2005 | VizSec | Visualization of Automated Trust Negotiation. | Danfeng Yao, Michael Shin, Roberto Tamassia, William H. Winsborough |
| 2004 | SP | Safety in Automated Trust Negotiation. | William H. Winsborough, Ninghui Li |
| 2004 | SACMAT | Role-based cascaded delegation. | Roberto Tamassia, Danfeng Yao, William H. Winsborough |
| 2003 | ICLP | A Logic Programming View of Authorization in Distributed Systems. | William H. Winsborough |
| 2003 | SP | Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management. | Ninghui Li, William H. Winsborough, John C. Mitchell |
| 2002 | SP | Design of a Role-Based Trust-Management Framework. | Ninghui Li, John C. Mitchell, William H. Winsborough |
| 2002 | SACMAT | Models for coalition-based access control (CBAC). | Eve Cohen, Roshan K. Thomas, William H. Winsborough, Deborah Shands |
| 2001 | CCS | Distributed credential chain discovery in trust management: extended abstract. | Ninghui Li, William H. Winsborough, John C. Mitchell |
| 1996 | ICLP | Demand Transformation Analysis for Concurrent Constraint Programs. | Moreno Falaschi, Patrick Hicks, William H. Winsborough |
| 1993 | ICALP | Efficient Analysis of Concurrent Constraint Logic Programs. | Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough |
| 1992 | ICALP | Comparison of Abstract Interpretations. | Agostino Cortesi, Gilberto Fil, William H. Winsborough |
| 1992 | SAS | Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. | Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough |
| 1991 | LICS | Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis | Agostino Cortesi, Gilberto Fil, William H. Winsborough |
| 1990 | ICLP | Multiple Specialization of Logic Programs with Run-Time Test. | Dean Jacobs, Anno Langen, William H. Winsborough |
| 1990 | ICLP | Analysis of Shared Data Structures for Compile-Time Garbage. | Anne Mulkers, William H. Winsborough, Maurice Bruynooghe |
| 1988 | ICLP | Transparent And-Parallelism in the Presence of Shared Free Variables. | William H. Winsborough, Annika Wrn |