|
|
Trust and Authorization via Provenance and Integrity in Distributed Objects.
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher and James Riely.
In 17th European Symposium on Programming, ESOP'08, 29 March - 6 April, 2008.
pdf (extended version of ESOP paper with type and effect system, and results)
|
|
|
Lambda-RBAC: Programming with Role-Based Access Control.
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, and James Riely.
Logical Methods in Computer Science. Volume 4, Issue 1, Paper 2, January 2008.
pdf
|
|
|
Do As I SaY! Programmatic Access Control with Explicit Identities.
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely.
In Computer Security Foundations Symposium (CSF), 2007.
pdf (extended version of CSF paper with several typos and minor bugs fixed)
|
|
|
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.
In Proc. ACM Symposium on Access Control Models and Technologies (SACMAT), 2007.
pdf
|
|
|
Open Bisimulation for Aspects.
Radha Jagadeesan, Corin Pitcher, and James Riely.
In Proc. Sixth International Conference on Aspect-Oriented Software Development (AOSD '07)
pdf
(long version)
|
|
|
lambda-RBAC: Programming with Role-Based Access Control.
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, and James Riely.
In 33rd International Colloquium on Automata, Languages and Programming (ICALP), July 9-16, 2006.
pdf (superseded by LMCS "Lambda-RBAC: Programming with Role-Based Access Control" above)
|
|
|
Games for Controls.
Krishnendu Chatterjee, Radha Jagadeesan, and Corin Pitcher.
In 19th IEEE Computer Security Foundations Workshop (CSFW), July 5-7, 2006.
ps
|
|
|
Dynamic Policy Discovery with Remote Attestation.
Corin Pitcher and James Riely.
In Foundations of Software Science and Computation Structures (FOSSACS), March 25-31, 2006.
pdf
|
|
|
Timed constraint programming: a declarative approach to Usage Control.
Radha Jagadeesan, Wilfredo Marrero, Corin Pitcher, and Vijay Saraswat.
In Seventh ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP), July 11-13, 2005.
pdf
|
|
|
Visibly pushdown expression effects for XML stream processing.
Corin Pitcher.
In Programming Language Technologies for XML (PLAN-X), January 11, 2005.
pdf
|
|
|
Functional Programming and Erratic Non-Determinism.
Corin Pitcher.
D.Phil. dissertation, University of Oxford.
ps.gz
|
|
|
Similarity and bisimilarity for countable non-determinism and higher-order functions.
Søren Lassen and Corin Pitcher.
In Proc. 2nd Workshop on Higher Order Operational Techniques in Semantics, Stanford, December 1997, volume 10 of Electronic Notes in Theoretical Computer Science, pp1-21, 1998.
ps.gz
|
|
|
|
|
|
|
|
|
|