Corin Pitcher

I am an Assistant Professor in the School of CTI, DePaul University, a member of the Foundations of Programming Language research group, and Director of the School of CTI's Computer, Information, and Network Security Center (CINSC).

Contact Information

Address: School of CTI, DePaul University, 243 S. Wabash Avenue, Chicago, IL 60604-2301, USA
Office: 838
Tel: +1 312 362 5248
Fax: +1 312 362 6116
Email: cpitcher@cs.depaul.edu
WWW: http://fpl.cs.depaul.edu/cpitcher/

Research
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
Teaching
CNS-450: Computer Forensics
CSC-448: Compiler Design
SE-473: Security Architecture I
SE-533: Software Validation and Verification
SE-560: Structured Document Interchange and Processing
SE-573: Security Architecture II