@inproceedings{garg-fp05:cll,
	author = {Deepak Garg and Frank Pfenning},
	title = "Type-Directed Concurrency",
	booktitle = "Proceedings of the 16th International Conference on Concurrency Theory (CONCUR '05)",
	year = "2005",
	location = "San Francisco, CA, USA"
	}
	
@TechReport{garg05:cll,
  author =   {Deepak Garg},
  title =    {{CLL}: A concurrent language built from logical principles},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year =     2005,
  number =   {CMU-CS-05-104},
  month =    {January}
}

@TechReport{deyoung07:alwet,
  author =   {Henry DeYoung and Deepak Garg and Frank Pfenning},
  title =    {An Authorization Logic with Explicit Time},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year =     2007,
  number =   {CMU-CS-07-166},
  month =    {December}
}

@TechReport{garg07:inll,
  author =   {Deepak Garg and Michael Carl Tschantz},
  title =    {From Indexed Lax Logic to Intuitionistic Logic},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year =     2007,
  number =   {CMU-CS-07-167},
  month =    {December}
}

@TechReport{garg08:securesys,
  author =   {Deepak Garg and Jason Franklin and Dilsun Kaynar and Anupam Datta},
  title =    {Towards a Theory of Secure Systems},
  institution =  {CyLab, Carnegie Mellon University},
  year =     2008,
  number =   {CMU-Cylab-08-003},
  month =    {February}
}

@inproceedings{deyoung-garg-pfenning08:eta,
	author = {Henry DeYoung and Deepak Garg and Frank Pfenning},
	title = "An Authorization Logic with Explicit Time",
	booktitle = "Proceedings of the 21st IEEE Symposium on Computer Security Foundations (CSF-21)",
	year = "2008",
	location = "Pittsburgh, USA"
	}

@inproceedings{garg-fp06:nical,
	author = {Deepak Garg and Frank Pfenning},
	title = "Non-interference in Constructive Authorization Logic",
	booktitle = "Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 19)",
	year = "2006",
	location = "Venice, Italy"
	}

@inproceedings{Garg2006linear,
  author = {Deepak Garg and Lujo Bauer and Kevin Bowers and Frank Pfenning and
	Michael Reiter},
  title = {A Linear Logic of Affirmation and Knowledge},
  booktitle = {Proceedings of the 11th European Symposium on Research in Computer
	Security (ESORICS '06)},
  year = {2006},
  editor = {D. Gollman and J. Meier and A. Sabelfeld},
  pages = {297--312},
  address = {Hamburg, Germany},
  month = {September},
  publisher = {Springer LNCS 4189}
}

@Inproceedings{Garg08:fcs,
 title = {A Logic for Reasoning About Networked Secure Systems},
 author = {Deepak Garg and Jason Franklin and Dilsun Kaynar and Anupam Datta},
 booktitle = {Informal Proceedings of FCS-ARSPA-WITS'08},
 year = {2008},
 location = {Pittsburgh, USA},
 note = {Online at http://www.cs.cmu.edu/~dg/papers/fcs08-full.pdf}
}

@inproceedings{garg-lal-prasad04:effective,
	author = {Deepak Garg and Akash Lal and Sanjiva Prasad},
	title = "Effective Chemistry for Synchrony and Asynchrony",
	booktitle = "Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science",
	year = "2004",
	location = "Toulouse, France"
	}
	
@Inproceedings{Garg08:imla,
 title = {Principal Centric Reasoning in Constructive Authorization Logic},
 author = {Deepak Garg},
 booktitle = {Informal Proceedings of Intuitionistic Modal Logic and Application (IMLA)},
 year = {2008},
 location = {Pittsburgh, USA},
 note = {Full version available as Carnegie Mellon Technical Report CMU-CS-09-120.}
}

@inproceedings{GargAbadi08:modal,
  author = {Deepak Garg and Mart\'{i}n Abadi},
  title = {A Modal Deconstruction of Access Control Logics},
  booktitle = {Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2008)},
  year = {2008},
  address = {Budapest, Hungary},
  month = {April}
}

@INPROCEEDINGS{Bowers2007,
  author = {Kevin D. Bowers and Lujo Bauer and Deepak Garg and Frank Pfenning
	and Michael K. Reiter},
  title = {Consumable Credentials in Logic-Based Access-Control Systems},
  booktitle = {Proceedings of the 14th Annual Network and Distributed System Security
	Symposium (NDSS '07)},
  year = {2007},
  address = {San Diego, California},
  month = {February}
}

@TechReport{garg09:dtl,
  author =   {Deepak Garg},
  title =    {Principal-Centric Reasoning in Constructive Authorization Logic},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year =     2009,
  number =   {CMU-CS-09-120},
  month =    {April}
}

@InProceedings{dfgk09:ls2,
  title = {A Logic of Secure Systems and its Application to Trusted Computing},
  author = {Anupam Datta and Jason Franklin and Deepak Garg and Dilsun Kaynar},
  booktitle = {Proceedings of the 30th IEEE Symposium on Security and Privacy (Oakland)},
  year = {2009}
}

@TechReport{garg09:blsearchtr,
  author =   {Deepak Garg},
  title =    {Proof Search in an Authorization Logic},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year =     2009,
  number =   {CMU-CS-09-121},
  month =    {April}
}

@TechReport{garg09:pcfstr,
  author =   {Deepak Garg and Frank Pfenning},
  title =    {A proof-carrying file system},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year =     2009,
  number =   {CMU-CS-09-123},
  month =    {June}
}

@inproceedings{ChauGarg2009:pcal,
  author = {Avik Chaudhuri and Deepak Garg},
  title = {{PCAL}: Language support for proof-carrying authorization systems},
  booktitle = {Proceedings of the 14th European Symposium on Research in Computer Security (ESORICS '09)},
  year = {2009},
  month = {September}
}

@TechReport{garg09:intelligencetr,
  author =   {Deepak Garg and Frank Pfenning and Denis Serenyi and Brian Witten},
  title =    {A logical representation of common rules for controlling access to classified information},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year =     2009,
  number =   {CMU-CS-09-139},
  month =    {June}
}