| |
| 2008 | ||
|---|---|---|
| 5 | EE | Deepak Garg, Martín Abadi: A Modal Deconstruction of Access Control Logics. FoSSaCS 2008: 216-230 |
| 2006 | ||
| 4 | EE | Deepak Garg, Frank Pfenning: Non-Interference in Constructive Authorization Logic. CSFW 2006: 283-296 |
| 3 | EE | 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 | EE | 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 | |
| 1 | Martín Abadi | [5] |
| 2 | Lujo Bauer | [3] |
| 3 | Kevin D. Bowers | [3] |
| 4 | Akash Lal | [1] |
| 5 | Frank Pfenning | [2] [3] [4] |
| 6 | Sanjiva Prasad | [1] |
| 7 | Michael K. Reiter | [3] |