Publications

Conference       Workshop       Technical Reports       Notes/Misc/Drafts       [Work In Progress] (Requires WebISO Authentication)

Papers marked [Forthcoming] have not been finalized. Links associated with them may not work.
Current versions of these papers may be available in the Work in Progress section above.

Citations of all papers and reports listed below: (BibTex)

Conference Publications

An Authorization Logic with Explicit Time

Henry DeYoung, Deepak Garg and Frank Pfenning.
In proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF-21).
Pittsburgh, Pennsylvania. June, 2008.
(PDF, Abstract, BibTeX)

Technical report with proofs.
CMU-CS-07-166.
Revised February, 2008.
(PS, PDF, Abstract, BibTex)

A Modal Deconstruction of Access Control Logics © Springer Verlag

Deepak Garg and Martín Abadi.
In proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2008).
Budapest, Hungary. April, 2008.
(PDF, Abstract, BibTeX, Slides: PDF)

Full version with proofs (PS, PDF)

Consumable Credentials in Logic-Based Access-Control Systems

Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning and Michael K. Reiter.
In proceedings of the 14th Annual Network & Distributed System Security Symposium (NDSS 2007).
San Deigo, CA. February, 2007.
(PDF, Abstract, BibTeX)

A Linear Logic of Authorization and Knowledge

Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning and Michael K. Reiter.
April, 2006.
(PDF, Abstract)

Reduced version appeared in proceedings of the 11th European Symposium on Research in Computer Security (ESORICS 2006).
(PS, PDF, Abstract, BibTex) © Springer Verlag

Non-interference in Constructive Authorization Logic

Deepak Garg and Frank Pfenning.
In proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 19).
Venice, Italy. July, 2006.
(PDF, Abstract, BibTex, Slides: PDF)

Type-Directed Concurrency © Springer Verlag

Deepak Garg and Frank Pfenning.
16th International Conference on Concurrency Theory (CONCUR 2005).
San Francisco, USA. August, 2005.
(PDF, Abstract, BibTex, Slides: PPT)

CLL: A Concurrent Language Built from Logical Principles
Deepak Garg.
Technical Report with more detail and results.
CMU-CS-05-104. January, 2005.
(PS, PDF, Abstract, BibTex, Implementation in LolliMon)

Effective Chemistry for Synchrony and Asynchrony

Deepak Garg, Akash Lal and Sanjiva Prasad.
3rd IFIP International Conference on Theoretical Computer Science (IFIP-TCS 2004).
Toulouse, France. August, 2004.
(PDF, Abstract, BibTex)

Refreed Workshop Publications

Principal Centric Reasoning in Constructive Authorization Logic

Deepak Garg.
Intuitionistic Modal Logic and Applications (IMLA'08).
Pittsburgh, Pennsylvania. June, 2008.
(PDF, Abstract, BibTeX)

Full version with proofs [draft, may change] (PDF)

A Logic For Reasoning About Networked Secure Systems

Deepak Garg, Jason Franklin, Dilsun Kaynar, and Anupam Datta.
FCS-ARSPA-WITS'08.
Pittsburgh, Pennsylvania. June, 2008.
(PDF, Abstract, BibTeX)

Full version with proofs (PS,PDF)

Technical Reports

Towards a Theory of Secure Systems

Deepak Garg, Jason Franklin, Dilsun Kaynar, and Anupam Datta.
Technical Report CMU-Cylab-08-003. February, 2008.
(PDF, Abstract, BibTex)

From Indexed Lax Logic to Intuitionistic Logic

Deepak Garg and Michael Carl Tschantz.
Technical Report CMU-CS-07-167. January, 2008.
(PDF, Abstract, BibTex)

Notes/Misc/Drafts

An Introduction to Proof-Carrying Authorization

Deepak Garg.
Notes for 18-739: Foundations of Security and Privacy. December, 2007.
(PDF)