Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Corin Pitcher
Observed names:
C. Pitcher,
CORIN PITCHER,
Corin S. Pitcher,
Pitcher, Corin
Institution:
DePaul University
Observed institutions:
DePaul University,
University of Oxford,
University of California, Berkeley
OpenAlex ID:
A5087794979
Towards a Theory of Accountability and Audit
2009
·
Radha Jagadeesan
, Alan Jeffrey
, et al.
·
Lecture notes in computer science
·
102
Specifications of a high-level conflict-free firewall policy language for multi-domain networks
2007
·
Bin Zhang
, Ehab Al-Shaer
, et al.
·
ACM Symposium on Access Control Models and Technologies (SACMAT)
·
79
Generative Operational Semantics for Relaxed Memory Models
2010
·
Radha Jagadeesan
, Corin Pitcher
, et al.
·
Lecture notes in computer science
·
44
Local Memory via Layout Randomization
2011
·
Radha Jagadeesan
, Corin Pitcher
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
·
42
Timed constraint programming
2005
·
Radha Jagadeesan
, Will Marrero
, et al.
·
International Symposium on Principles and Practice of Declarative Programming (PPDP)
·
25
An extensible approach to session polymorphism
2015
·
MATTHEW GOTO
, RADHA JAGADEESAN
, et al.
·
Mathematical Structures in Computer Science
·
22
Visibly Pushdown Expression Effects for XML Stream Processing
2004
·
Corin Pitcher
·
22
Open bisimulation for aspects
2007
·
Radha Jagadeesan
, Corin Pitcher
, et al.
·
International Conference on Aspect-Oriented Software Development (AOSD)
·
19
Do As I SaY! Programmatic Access Control with Explicit Identities
2007
·
Andrew Cirillo
, Radha Jagadeesan
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
·
17
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions (Extended Abstract)
1998
·
Søren B. Lassen
, Corin S. Pitcher
·
Electronic Notes in Theoretical Computer Science
·
15
PDF
Open Bisimulation for Aspects
2009
·
Radha Jagadeesan
, Corin Pitcher
, et al.
·
Lecture notes in computer science
·
14
TAPIDO: trust and authorization via provenance and integrity in distributed objects
2008
·
Andrew Cirillo
, Radha Jagadeesan
, et al.
·
12
Quarantining Weakness
2013
·
Radha Jagadeesan
, Gustavo Petri
, et al.
·
Lecture notes in computer science
·
8
PDF
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)
2008
·
Andrew Cirillo
, Radha Jagadeesan
, et al.
·
Springer eBooks
·
8
Dynamic Policy Discovery with Remote Attestation
2006
·
Corin Pitcher
, James Riely
·
Lecture notes in computer science
·
7
Functional Programming and Erratic Non-Determinism
2001
·
Corin Pitcher
, C.-H. Luke Ong
, et al.
·
7
Lambda-RBAC: Programming with Role-Based Access Control
2008
·
Radha Jagadeesan
, Alan Jeffrey
, et al.
·
Logical Methods in Computer Science
·
4
PDF
Noninterference for Intuitionist Necessity
2012
·
Radha Jagadeesan
, Corin Pitcher
, et al.
·
Lecture notes in computer science
·
2
Succour to the Confused Deputy
2012
·
Radha Jagadeesan
, Corin Pitcher
, et al.
·
Lecture notes in computer science
·
2
Games for Controls
2006
·
K. Chatterjee
, R. Jagadeesan
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
·
1
Open Science in Practice: An Implementation Guide for Researchers
2026
·
Alizadeh, Vahid
, Grice, Kyle
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Certificates for Verifiable Forensics
2014
·
Radha Jagadeesan
, C. M. Lubinski
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
PDF
Succour to the Confused Deputy - Types for Capabilities.
2012
·
Radha Jagadeesan
, Corin Pitcher
, et al.
Proving Programs Correct Using Plain Old Java Types
2009
·
Radha Jagadeesan
, Alan Jeffrey
, et al.
λ-RBAC: Programming with Role-Based Access Control
2006
·
Radha Jagadeesan
, Alan Jeffrey
, et al.
·
Lecture notes in computer science
Show more works
View as search
Works count:
33
Citation count:
452
H-index:
12
I10-index:
12
Year
Topic
Type
