Deepak Garg

2009

• PCAL: Language support for proof-carrying authorization systems. With Avik Chaudhuri. European Symposium on Research in Computer Security (ESORICS), 2009. [Full version: Technical Report CMU-CS-09-141]
• A logical representation of common rules for controlling access to classified information. With Frank Pfenning, Denis Serenyi and Brian Witten. Technical Report CMU-CS-09-139, 2009.
• A proof-carrying file system. With Frank Pfenning. Technical Report CMU-CS-09-123, 2009. [Implementation]
• Proof-search in an authorization logic. Technical Report CMU-CS-09-121, 2009.
• A logic of secure systems and its application to trusted computing. With Anupam Datta, Jason Franklin and Dilsun Kaynar. IEEE Symposium on Security and Privacy (Oakland), 2009. [Full version: Technical Report CMU-CyLab-09-001]

2008

• An authorization logic with explicit time. With Henry DeYoung and Frank Pfenning. IEEE Symposium on Computer Security Foundations (CSF), 2008. [Full version: Technical Report CMU-CS-07-166, 2007].
• Principal-centric reasoning in constructive authorization logic. Workshop on Intuitionistic Modal Logic and Applications (IMLA), 2008. [Full version: Technical Report CMU-CS-09-120, 2009].
• A logic for reasoning about networked secure systems. With Anupam Datta, Jason Franklin and Dilsun Kaynar. FCS-ARSPA-WITS Workshop, 2008. [Full version with proofs] Superseded by the Oakland 2009 paper.
• A modal deconstruction of access control logics. With Martín Abadi. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2008. [Full version with proofs]
• Towards a theory of secure systems. With Anupam Datta, Jason Franklin and Dilsun Kaynar. Technical Report CMU-CyLab-08-003, 2008. Superseded by the Oakland 2009 paper.

2007

• Consumable credentials in logic-based access-control systems. With Kevin D. Bowers, Lujo Bauer, Frank Pfenning and Michael K. Reiter. Network & Distributed System Security Symposium (NDSS), 2007.
• From indexed lax logic to intuitionistic logic. With Michael Carl Tschantz. Technical Report CMU-CS-07-167, 2007.

2006

• A linear logic of authorization and knowledge. With Lujo Bauer, Kevin D. Bowers, Frank Pfenning and Michael K. Reiter. European Symposium on Research in Computer Security (ESORICS), 2006. [Extended version]
• Non-interference in constructive authorization logic. With Frank Pfenning. IEEE Computer Security Foundations Workshop (CSFW), 2006.

2005

• Type-directed concurrency. With Frank Pfenning. International Conference on Concurrency Theory (CONCUR), 2005. [Full version: Technical Report CMU-CS-05-104]

2004

• Effective chemistry for synchrony and asynchrony. With Akash Lal and Sanjiva Prasad. IFIP International Conference on Theoretical Computer Science (IFIP-TCS), 2004.

Notes/Misc/Drafts

• An Introduction to Proof-Carrying Authorization. Notes for 18-739: Foundations of Security and Privacy. December, 2007.