TAPIDO: Trust and Authorization via Provenance and Integrity in Distributed Objects. Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely. To appear in ESOP'08 17th European Symposium on Programming. 2008. Extended version of ESOP paper with type and effect system and results available on-line.

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. Extended version of CSF paper with several typos and minor bugs fixed available on-line.