Deepak Garg

other persons with the same name:

• Deepak Garg 0002 - Thapar University, India

	2012
j4		Deepak Garg, Frank Pfenning: Stateful authorization logic - Proof theory and a case study. Journal of Computer Security 20(4): 353-391 (2012)
j3		Deepak Garg, Amitava Datta, Tim French: New test case prioritization strategies for regression testing of web applications. Int. J. Systems Assurance Engineering and Management 3(4): 300-309 (2012)
c23		Deepak Garg, Amitava Datta, Tim French: A Two-Level Prioritization Approach for Regression Testing of Web Applications. APSEC Workshops 2012: 150-153
c22		Valerio Genovese, Deepak Garg, Daniele Rispoli: Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. CSF 2012: 139-153
c21		Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg: Superficially substructural types. ICFP 2012: 41-54
c20		Deepak Garg, Amitava Datta: Test Case Prioritization Due to Database Changes in Web Applications. ICST 2012: 726-730
c19		Deepak Garg, Valerio Genovese, Sara Negri: Countermodels from Sequent Calculi in Multi-Modal Logics. LICS 2012: 315-324
i7		Deepak Garg, S. C. Saxena, L. M. Bhardwaj: A New Middle Path Approach For Alignements In Blast. CoRR abs/1209.6129 (2012)
i6		Shivani Goel, Ravi Kiran, Deepak Garg: Vulnerability Management for an Enterprise Resource Planning System. CoRR abs/1209.6484 (2012)
i5		Megha Tyagi, Deepak Garg: Comparative Analysis of dynamic graph techniques and data strucutre. CoRR abs/1209.6486 (2012)
i4		Sandeep Kumar, Deepak Garg: Online Financial Algorithms Competitive Analysis. CoRR abs/1209.6489 (2012)
i3		Deepika Sharma, Deepak Garg: Information Retrieval on the web and its evaluation. CoRR abs/1209.6492 (2012)
i2		Parth Patel, Deepak Garg: Comparison of Advance Tree Data Structures. CoRR abs/1209.6495 (2012)
	2011
j2		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)
c18		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
c17		Sanchika Gupta, Deepak Garg: Ontology Based Information Retrieval for Learning Styles of Autistic People. HPAGC 2011: 293-298
c16		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
c15		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
c14		Jamie Morgenstern, Deepak Garg, Frank Pfenning: A Proof-Carrying File System with Revocable and Use-Once Certificates. STM 2011: 40-55
c13		Valerio Genovese, Deepak Garg: New Modalities for Access Control Logics: Permission, Control and Ratification. STM 2011: 56-71
i1		Deepak Garg, Limin Jia, Anupam Datta: A Logical Method for Policy Enforcement over Evolving Audit Logs. CoRR abs/1102.2521 (2011)
	2010
j1		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)
c12		Deepak Garg, Frank Pfenning: A Proof-Carrying File System. IEEE Symposium on Security and Privacy 2010: 349-364
c11		Deepak Garg, Frank Pfenning: Stateful Authorization Logic: - Proof Theory and a Case Study. STM 2010: 210-225
c10		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
	2009
c9		Avik Chaudhuri, Deepak Garg: PCAL: Language Support for Proof-Carrying Authorization Systems. ESORICS 2009: 184-199
c8		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
c7		Henry DeYoung, Deepak Garg, Frank Pfenning: An Authorization Logic With Explicit Time. CSF 2008: 133-145
c6		Deepak Garg, Martín Abadi: A Modal Deconstruction of Access Control Logics. FoSSaCS 2008: 216-230
	2007
c5		Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter: Consumable Credentials in Linear-Logic-Based Access-Control Systems. NDSS 2007
	2006
c4		Deepak Garg, Frank Pfenning: Non-Interference in Constructive Authorization Logic. CSFW 2006: 283-296
c3		Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter: A Linear Logic of Authorization and Knowledge. ESORICS 2006: 297-312
	2005
c2		Deepak Garg, Frank Pfenning: Type-Directed Concurrency. CONCUR 2005: 6-20
	2004
c1		Deepak Garg, Akash Lal, Sanjiva Prasad: Effective Chemistry for Synchrony and Asynchrony. IFIP TCS 2004: 479-492

Coauthor Index

Colors in the list of coauthors

Last update Wed May 22 14:42:56 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page