Search the dblp DataBase

Publications of Author

1. Deepak Garg, Frank Pfenning
   Type-Directed Concurrency. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2005, pp:6-20 [Conf]
   
2. Deepak Garg, Frank Pfenning
   Non-Interference in Constructive Authorization Logic. [Citation Graph (0, 0)][DBLP]
   CSFW, 2006, pp:283-296 [Conf]
   
3. Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter
   A Linear Logic of Authorization and Knowledge. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2006, pp:297-312 [Conf]
   
4. Deepak Garg, Akash Lal, Sanjiva Prasad
   Effective Chemistry for Synchrony and Asynchrony. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2004, pp:479-492 [Conf]
   
5. 
   An Authorization Logic With Explicit Time. [Citation Graph (, )][DBLP]
   
   
6. 
   PCAL: Language Support for Proof-Carrying Authorization Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   A Modal Deconstruction of Access Control Logics. [Citation Graph (, )][DBLP]
   
   
8. 
   Consumable Credentials in Linear-Logic-Based Access-Control Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   A Logic of Secure Systems and its Application to Trusted Computing. [Citation Graph (, )][DBLP]
   
   
10. 
    A Proof-Carrying File System. [Citation Graph (, )][DBLP]