dblp.uni-trier.dewww.uni-trier.de

Deepak Garg Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
9EEAvik Chaudhuri, Deepak Garg: PCAL: Language Support for Proof-Carrying Authorization Systems. ESORICS 2009: 184-199
8EEAnupam 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
7EEHenry DeYoung, Deepak Garg, Frank Pfenning: An Authorization Logic With Explicit Time. CSF 2008: 133-145
6EEDeepak Garg, Martín Abadi: A Modal Deconstruction of Access Control Logics. FoSSaCS 2008: 216-230
2007
5EEKevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter: Consumable Credentials in Linear-Logic-Based Access-Control Systems. NDSS 2007
2006
4EEDeepak Garg, Frank Pfenning: Non-Interference in Constructive Authorization Logic. CSFW 2006: 283-296
3EEDeepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter: A Linear Logic of Authorization and Knowledge. ESORICS 2006: 297-312
2005
2EEDeepak 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

1Martín Abadi [6]
2Lujo Bauer [3] [5]
3Kevin D. Bowers [3] [5]
4Avik Chaudhuri [9]
5Anupam Datta [8]
6Henry DeYoung [7]
7Jason Franklin [8]
8Dilsun Kirli Kaynar [8]
9Akash Lal [1]
10Frank Pfenning [2] [3] [4] [5] [7]
11Sanjiva Prasad [1]
12Michael K. Reiter [3] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)