Vineet Rajani
Latest
- On Graded Coeffect Types for Information-Flow Control
- On Graded Coeffect Types for Information-Flow Control
- A Graded Modal Approach to Relaxed Semantic Declassification
- A Graded Modal Approach to Relaxed Semantic Declassification
- A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
- A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
- The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024)
- The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024)
- Counterfactual Explanations and Model Multiplicity: a Relational Verification View
- Counterfactual Explanations and Model Multiplicity: a Relational Verification View
- 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
- A type-theory for higher-order amortized analysis
- A type-theory for higher-order amortized analysis
- 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
- Psi-CAL: Foundations of a Programming Language for Services Computing
- Psi-CAL: Foundations of a Programming Language for Services Computing
- KAAS: Kernel as a Service
- KAAS: Kernel as a Service
- Xi-Calculus: A Calculus for Service Interactions
- Xi-Calculus: A Calculus for Service Interactions
- Object-oriented wrappers for the Linux kernel
- Object-oriented wrappers for the Linux kernel