Corin Pitcher

Publication Activity (10 Years)

Years Active: 1997-2016
Publications (10 Years): 1

Top Venues

CSF

Math. Struct. Comput. Sci.

TLDI

ESOP

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
An extensible approach to session polymorphism. Math. Struct. Comput. Sci. 26 (3) (2016)
Radha Jagadeesan, C. M. Lubinski, Corin Pitcher, James Riely, Charles Winebrinner
Certificates for Verifiable Forensics. CSF (2014)
Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely
Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). ESOP (2013)
Radha Jagadeesan, Corin Pitcher, James Riely
Noninterference for Intuitionist Necessity. ICLA (2013)
Radha Jagadeesan, Corin Pitcher, James Riely
Succour to the Confused Deputy - Types for Capabilities. APLAS (2012)
Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely
Types for relaxed memory models. TLDI (2012)
Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely
Local Memory via Layout Randomization. CSF (2011)
Radha Jagadeesan, Corin Pitcher, James Riely
Generative Operational Semantics for Relaxed Memory Models. ESOP (2010)
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
Towards a Theory of Accountability and Audit. ESORICS (2009)
Radha Jagadeesan, Corin Pitcher, James Riely
Open Bisimulation for Aspects. LNCS Trans. Aspect Oriented Softw. Dev. 5 (2009)
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). ESOP (2008)
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
Lambda-RBAC: Programming with Role-Based Access Control. Log. Methods Comput. Sci. 4 (1) (2008)
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
Do As I SaY! Programmatic Access Control with Explicit Identities. CSF (2007)
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
Lambda-RBAC: Programming with Role-Based Access Control CoRR (2007)
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)
Radha Jagadeesan, Corin Pitcher, James Riely
Open bisimulation for aspects. AOSD (2007)
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
-RBAC: Programming with Role-Based Access Control. ICALP (2) (2006)
Corin Pitcher, James Riely
Dynamic Policy Discovery with Remote Attestation. FoSSaCS (2006)
Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher
Games for Controls. CSFW (2006)
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat
Timed constraint programming: a declarative approach to usage control. PPDP (2005)
Søren B. Lassen, Corin Pitcher
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. Electron. Notes Theor. Comput. Sci. 10 (1997)

Corin Pitcher.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Corin Pitcher