Deepak Garg

other persons with the same name:

• Deepak Garg - Thapar University, India

	2011
21		Deepak Garg, Limin Jia, Anupam Datta: Policy auditing over incomplete logs: theory, implementation and applications. ACM Conference on Computer and Communications Security 2011: 151-162
20		Sanchika Gupta, Deepak Garg: Ontology Based Information Retrieval for Learning Styles of Autistic People. HPAGC 2011: 293-298
19		Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha: Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. ICISS 2011: 1-27
18		Aleksandar Nanevski, Anindya Banerjee, Deepak Garg: Verification of Information Flow and Access Control Policies with Dependent Types. IEEE Symposium on Security and Privacy 2011: 165-179
17		Jamie Morgenstern, Deepak Garg, Frank Pfenning: A Proof-Carrying File System with Revocable and Use-Once Certificates. STM 2011: 40-55
16		Valerio Genovese, Deepak Garg: New Modalities for Access Control Logics: Permission, Control and Ratification. STM 2011: 56-71
15		Deepak Garg, Limin Jia, Anupam Datta: A Logical Method for Policy Enforcement over Evolving Audit Logs CoRR abs/1102.2521: (2011)
14		Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar: On Adversary Models and Compositional Security. IEEE Security & Privacy 9(3): 26-32 (2011)
	2010
13		Deepak Garg, Frank Pfenning: A Proof-Carrying File System. IEEE Symposium on Security and Privacy 2010: 349-364
12		Deepak Garg, Frank Pfenning: Stateful Authorization Logic: - Proof Theory and a Case Study. STM 2010: 210-225
11		Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta: Experiences in the logical specification of the HIPAA and GLBA privacy laws. WPES 2010: 73-82
10		Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta: Compositional System Security with Interface-Confined Adversaries. Electr. Notes Theor. Comput. Sci. 265: 49-71 (2010)
	2009
9		Avik Chaudhuri, Deepak Garg: PCAL: Language Support for Proof-Carrying Authorization Systems. ESORICS 2009: 184-199
8		Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar: A Logic of Secure Systems and its Application to Trusted Computing. IEEE Symposium on Security and Privacy 2009: 221-236
	2008
7		Henry DeYoung, Deepak Garg, Frank Pfenning: An Authorization Logic With Explicit Time. CSF 2008: 133-145
6		Deepak Garg, Martín Abadi: A Modal Deconstruction of Access Control Logics. FoSSaCS 2008: 216-230
	2007
5		Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter: Consumable Credentials in Linear-Logic-Based Access-Control Systems. NDSS 2007
	2006
4		Deepak Garg, Frank Pfenning: Non-Interference in Constructive Authorization Logic. CSFW 2006: 283-296
3		Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter: A Linear Logic of Authorization and Knowledge. ESORICS 2006: 297-312
	2005
2		Deepak Garg, Frank Pfenning: Type-Directed Concurrency. CONCUR 2005: 6-20
	2004
1		Deepak Garg, Akash Lal, Sanjiva Prasad: Effective Chemistry for Synchrony and Asynchrony. IFIP TCS 2004: 479-492

Coauthor Index

1	Martín Abadi	[6]
2	Anindya Banerjee	[18]
3	Lujo Bauer	[3] [5]
4	Jeremiah Blocki	[19]
5	Kevin D. Bowers	[3] [5]
6	Avik Chaudhuri	[9]
7	Nicolas Christin	[19]
8	Anupam Datta	[8] [10] [11] [14] [15] [19] [21]
9	Henry DeYoung	[7] [11] [19]
10	Jason Franklin	[8] [10] [14]
11	Valerio Genovese	[16]
12	Sanchika Gupta	[20]
13	Limin Jia	[11] [14] [15] [19] [21]
14	Dilsun Kirli Kaynar	[8] [10] [11] [14] [19]
15	Akash Lal	[1]
16	Jamie Morgenstern	[17]
17	Aleksandar Nanevski	[18]
18	Frank Pfenning	[2] [3] [4] [5] [7] [12] [13] [17]
19	Sanjiva Prasad	[1]
20	Michael K. Reiter	[3] [5]
21	Arunesh Sinha	[19]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page