 | 2009 |
|---|
| 9 |       | Avik Chaudhuri,
Deepak Garg:
PCAL: Language Support for Proof-Carrying Authorization Systems.
ESORICS 2009: 184-199 |
| 8 | | 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 |
|---|
| 7 | | Henry DeYoung,
Deepak Garg,
Frank Pfenning:
An Authorization Logic With Explicit Time.
CSF 2008: 133-145 |
| 6 | | Deepak Garg,
Martín Abadi:
A Modal Deconstruction of Access Control Logics.
FoSSaCS 2008: 216-230 |
| 2007 |
|---|
| 5 | | 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 | | Deepak Garg,
Frank Pfenning:
Non-Interference in Constructive Authorization Logic.
CSFW 2006: 283-296 |
| 3 | | 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 | | 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 |
