Deepak Garg
Latest
- A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
- A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
- From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
- From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
- From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow
- From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow
- A unifying type-theory for higher-order (amortized) cost analysis
- A unifying type-theory for higher-order (amortized) cost analysis
- Permissive runtime information flow control in the presence of exceptions
- Permissive runtime information flow control in the presence of exceptions
- On the expressiveness and semantics of information flow types
- On the expressiveness and semantics of information flow types
- Types for Information Flow Control: Labeling Granularity and Semantic Models
- Types for Information Flow Control: Labeling Granularity and Semantic Models
- Type systems for information flow control: the question of granularity
- Type systems for information flow control: the question of granularity
- WebPol: Fine-Grained Information Flow Policies for Web Browsers
- WebPol: Fine-Grained Information Flow Policies for Web Browsers
- On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks
- On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks
- Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
- Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
- Information Flow Control for Event Handling and the DOM in Web Browsers
- Information Flow Control for Event Handling and the DOM in Web Browsers
- Information Flow Control in WebKit's JavaScript Bytecode
- Information Flow Control in WebKit's JavaScript Bytecode