- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c15 |      | Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely: Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). ESOP 2013: 492-511 |
| c14 | | Radha Jagadeesan, Corin Pitcher, James Riely: Noninterference for Intuitionist Necessity. ICLA 2013: 185-196 |
| 2012 | ||
| c13 | | Radha Jagadeesan, Corin Pitcher, James Riely: Succour to the Confused Deputy - Types for Capabilities. APLAS 2012: 66-81 |
| c12 | | Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely: Types for relaxed memory models. TLDI 2012: 25-38 |
| 2011 | ||
| c11 | | Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely: Local Memory via Layout Randomization. CSF 2011: 161-174 |
| 2010 | ||
| c10 | | Radha Jagadeesan, Corin Pitcher, James Riely: Generative Operational Semantics for Relaxed Memory Models. ESOP 2010: 307-326 |
| 2009 | ||
| j3 | | Radha Jagadeesan, Corin Pitcher, James Riely: Open Bisimulation for Aspects. T. Aspect-Oriented Software Development 5: 72-132 (2009) |
| c9 | | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: Towards a Theory of Accountability and Audit. ESORICS 2009: 152-167 |
| 2008 | ||
| j2 | | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: Lambda-RBAC: Programming with Role-Based Access Control. Logical Methods in Computer Science 4(1) (2008) |
| c8 | | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely: Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). ESOP 2008: 208-223 |
| 2007 | ||
| c7 | | |
| c6 | | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely: Do As I SaY! Programmatic Access Control with Explicit Identities. CSF 2007: 16-30 |
| c5 | | Bin Zhang, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher: Specifications of a high-level conflict-free firewall policy language for multi-domain networks. SACMAT 2007: 185-194 |
| i1 | | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: Lambda-RBAC: Programming with Role-Based Access Control. CoRR abs/0712.1205 (2007) |
| 2006 | ||
| c4 | | |
| c3 | | |
| c2 | | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: lambda-RBAC: Programming with Role-Based Access Control. ICALP (2) 2006: 456-467 |
| 2005 | ||
| c1 | | Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat: Timed constraint programming: a declarative approach to usage control. PPDP 2005: 164-175 |
| 1997 | ||
| j1 | | Søren B. Lassen, Corin Pitcher: Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. Electr. Notes Theor. Comput. Sci. 10: 246-266 (1997) |
Data released under the ODC-BY 1.0 license — See also our legal information page