| 2008 |
|---|
| 7 | EE | Henry DeYoung,
Deepak Garg,
Frank Pfenning:
An Authorization Logic With Explicit Time.
CSF 2008: 133-145 |
| 6 | EE | Deepak Garg,
Martín Abadi:
A Modal Deconstruction of Access Control Logics.
FoSSaCS 2008: 216-230 |
| 2007 |
|---|
| 5 | EE | 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 | 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 |
