|
|
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely.
Do As I SaY! Programmatic Access Control with Explicit Identities.
In Computer Security Foundations Symposium (CSF), 2007.
pdf (extended version of CSF paper with several typos and minor bugs fixed)
|
|
|
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.
In Proc. ACM Symposium on Access Control Models and Technologies (SACMAT), 2007.
pdf
|
|
|
Radha Jagadeesan, Corin Pitcher, and James Riely.
Open Bisimulation for Aspects.
In Proc. Sixth International Conference on Aspect-Oriented Software Development (AOSD '07)
pdf
(long version)
|
|
|
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, and James Riely.
lambda-RBAC: Programming with Role-Based Access Control. In 33rd
International Colloquium on Automata, Languages and Programming (ICALP), July 9-16, 2006.
pdf
|
|
|
Krishnendu Chatterjee, Radha Jagadeesan, and Corin Pitcher.
Games for Controls.
In 19th IEEE Computer Security Foundations Workshop (CSFW), July 5-7, 2006.
ps
|
|
|
Corin Pitcher and James Riely. Dynamic Policy Discovery with
Remote Attestation. Foundations of Software Science
and Computation Structures (FOSSACS), March 25-31, 2006.
pdf
|
|
|
Radha Jagadeesan, Wilfredo Marrero, Corin Pitcher, and Vijay
Saraswat. Timed constraint programming: a declarative approach to
Usage Control. Seventh ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming (PPDP), July 11-13,
2005.
pdf
|
|
|
Corin Pitcher. Visibly pushdown expression effects for
XML stream processing. Proc. Programming Language
Technologies for XML (PLAN-X), January 11, 2005.
pdf
|
|
|
Corin Pitcher. Functional Programming and Erratic Non-Determinism.
D.Phil. dissertation, University of Oxford.
ps.gz
|
|
|
Søren Lassen and Corin Pitcher. Similarity and bisimilarity for
countable non-determinism and higher-order functions. 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
|
|
|
|
|
|
|
|
|