Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. - Søren B. Lassen; Corin Pitcher (HOOTS, 1997)

Functional programming and erratic non-determinism. - Corin Pitcher (2001)

Timed constraint programming: a declarative approach to usage control. - Radha Jagadeesan; Will Marrero; Corin Pitcher; Vijay A. Saraswat (PPDP, 2005)

Games for Controls. - Krishnendu Chatterjee; Radha Jagadeesan; Corin Pitcher (CSFW, 2006)

Dynamic Policy Discovery with Remote Attestation. - Corin Pitcher; James Riely (FoSSaCS, 2006)

lambda-RBAC: Programming with Role-Based Access Control. - Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (ICALP (2), 2006)

Do As I SaY! Programmatic Access Control with Explicit Identities. - Andrew Cirillo; Radha Jagadeesan; Corin Pitcher; James Riely (CSF, 2007)

Specifications of a high-level conflict-free firewall policy language for multi-domain networks. - Bin Zhang 007; Ehab Al-Shaer; Radha Jagadeesan; James Riely; Corin Pitcher (SACMAT, 2007)

Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). - Andrew Cirillo; Radha Jagadeesan; Corin Pitcher; James Riely (ESOP, 2008)

Lambda-RBAC: Programming with Role-Based Access Control. - Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (Log. Methods Comput. Sci., 2008)

Towards a Theory of Accountability and Audit. - Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (ESORICS, 2009)

Open Bisimulation for Aspects. - Radha Jagadeesan; Corin Pitcher; James Riely (LNCS Trans. Aspect Oriented Softw. Dev., 2009)

Generative Operational Semantics for Relaxed Memory Models. - Radha Jagadeesan; Corin Pitcher; James Riely (ESOP, 2010)

Local Memory via Layout Randomization. - Radha Jagadeesan; Corin Pitcher; Julian Rathke; James Riely (CSF, 2011)

Succour to the Confused Deputy - Types for Capabilities. - Radha Jagadeesan; Corin Pitcher; James Riely (APLAS, 2012)

Types for relaxed memory models. - Matthew Goto; Radha Jagadeesan; Corin Pitcher; James Riely (TLDI, 2012)

Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). - Radha Jagadeesan; Gustavo Petri; Corin Pitcher; James Riely (ESOP, 2013)

Noninterference for Intuitionist Necessity. - Radha Jagadeesan; Corin Pitcher; James Riely (ICLA, 2013)

Certificates for Verifiable Forensics. - Radha Jagadeesan; C. M. Lubinski; Corin Pitcher; James Riely; Charles Winebrinner (CSF, 2014)

An extensible approach to session polymorphism. - Matthew A. Goto; Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (Math. Struct. Comput. Sci., 2016)