| 2008 |
|---|
| 10 | EE | 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 |
|---|
| 9 | EE | Radha Jagadeesan,
Corin Pitcher,
James Riely:
Open bisimulation for aspects.
AOSD 2007: 107-120 |
| 8 | EE | Andrew Cirillo,
Radha Jagadeesan,
Corin Pitcher,
James Riely:
Do As I SaY! Programmatic Access Control with Explicit Identities.
CSF 2007: 16-30 |
| 7 | EE | 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 |
| 6 | EE | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
Lambda-RBAC: Programming with Role-Based Access Control
CoRR abs/0712.1205: (2007) |
| 2006 |
|---|
| 5 | EE | Krishnendu Chatterjee,
Radha Jagadeesan,
Corin Pitcher:
Games for Controls.
CSFW 2006: 70-84 |
| 4 | EE | Corin Pitcher,
James Riely:
Dynamic Policy Discovery with Remote Attestation.
FoSSaCS 2006: 111-125 |
| 3 | EE | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
lambda-RBAC: Programming with Role-Based Access Control.
ICALP (2) 2006: 456-467 |
| 2005 |
|---|
| 2 | EE | Radha Jagadeesan,
Will Marrero,
Corin Pitcher,
Vijay A. Saraswat:
Timed constraint programming: a declarative approach to usage control.
PPDP 2005: 164-175 |
| 1997 |
|---|
| 1 | EE | Søren B. Lassen,
Corin Pitcher:
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
