Searching for authors named "Deepak Garg" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
CLL: A concurrent language built from logical principles
- …CLL: A Concurrent Language Built from Logical Principles Deepak Garg January, 2005 CMU-CS-05…
- Cited by 1 (1 self) – Add To MetaCart
-
Principal-Centric Reasoning in Constructive Authorization Logic
- …Principal-Centric Reasoning in Constructive Authorization Logic Deepak Garg dg@(email omitted); Carnegie…
- Cited by 2 (2 self) – Add To MetaCart
-
Proof search in an authorization logic
- …Proof Search in an Authorization Logic Deepak Garg Published on April 14, 2009 Revised…
- Cited by 3 (3 self) – Add To MetaCart
-
Andersen’s Points-to Analysis for CASH Compiler Framework
- …Andersen’s Points-to Analysis for CASH Compiler Framework Deepak Garg Himanshu Jain July 9, 2005…
- Add To MetaCart
-
Non-Interference in Constructive Authorization Logic
- …-02-1-0389 of the Army Research Office † Supported by grant N0014-04-1-0724 of the Office of Naval Research Deepak Garg…
- Cited by 28 (10 self) – Add To MetaCart
-
A Modal Deconstruction of Access Control Logics
- …A Modal Deconstruction of Access Control Logics Deepak Garg 1 and Martín Abadi 2,3 1 Carnegie…
- Cited by 2 (2 self) – Add To MetaCart
-
PCAL: Language support for proof-carrying authorization systems
- …PCAL: Language Support for Proof-Carrying Authorization Systems Avik Chaudhuri 1 and Deepak Garg 2…
- Cited by 2 (1 self) – Add To MetaCart
-
A proof-carrying file system
- …A Proof-Carrying File System Deepak Garg and Frank Pfenning June 6, 2009 CMU-CS-09-123 School…
- Cited by 3 (2 self) – Add To MetaCart
-
Type-Directed Concurrency
- …Type-Directed Concurrency Deepak Garg and Frank Pfenning ⋆ Carnegie Mellon University {dg…
- Add To MetaCart
-
A Logic for Reasoning About Networked Secure Systems ∗
- …A Logic for Reasoning About Networked Secure Systems ∗ Deepak Garg Jason Franklin Dilsun Kaynar…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
