| 2013 | ESOP | Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). | Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely |
| 2012 | APLAS | Succour to the Confused Deputy - Types for Capabilities. | Radha Jagadeesan, Corin Pitcher, James Riely |
| 2010 | ESOP | Generative Operational Semantics for Relaxed Memory Models. | Radha Jagadeesan, Corin Pitcher, James Riely |
| 2009 | ESORICS | Towards a Theory of Accountability and Audit. | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
| 2008 | ESOP | Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
| 2007 | SACMAT | Specifications of a high-level conflict-free firewall policy language for multi-domain networks. | Bin Zhang, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher |
| 2006 | FOSSACS | Dynamic Policy Discovery with Remote Attestation. | Corin Pitcher, James Riely |
| 2006 | ICALP | Untitled record | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
| 2005 | PPDP | Timed constraint programming: a declarative approach to usage control. | Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat |