Vineet Rajani

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 13

Top Topics

Programming Language

Information Flow

Detecting Malicious

Top Venues

Proc. ACM Program. Lang.

J. Comput. Secur.

Publications

Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. Found. Trends Program. Lang. 8 (1) (2023)
Francesco Leofante, Elena Botoeva, Vineet Rajani
Counterfactual Explanations and Model Multiplicity: a Relational Verification View. KR (2023)
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. CoRR (2022)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Permissive runtime information flow control in the presence of exceptions. J. Comput. Secur. 29 (4) (2021)
Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann
A unifying type-theory for higher-order (amortized) cost analysis. Proc. ACM Program. Lang. 5 (POPL) (2021)
Vineet Rajani, Deepak Garg
On the expressiveness and semantics of information flow types. J. Comput. Secur. 28 (1) (2020)
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
From fine- to coarse-grained dynamic information flow control and back. Proc. ACM Program. Lang. 3 (POPL) (2019)
Vineet Rajani, Deepak Garg
Types for Information Flow Control: Labeling Granularity and Semantic Models. CoRR (2018)
Vineet Rajani, Deepak Garg
Types for Information Flow Control: Labeling Granularity and Semantic Models. CSF (2018)
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
WebPol: Fine-Grained Information Flow Policies for Web Browsers. ESORICS (1) (2017)
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
WebPol: Fine-grained Information Flow Policies for Web Browsers. CoRR (2017)
Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg
Type systems for information flow control: the question of granularity. ACM SIGLOG News 4 (1) (2017)
Vineet Rajani, Deepak Garg, Tamara Rezk
On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. CSF (2016)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. CoRR (2015)
Vineet Rajani, Abhishek Bichhawat, Deepak Garg, Christian Hammer
Information Flow Control for Event Handling and the DOM in Web Browsers. CSF (2015)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. PLAS@ECOOP (2014)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Information Flow Control in WebKit's JavaScript Bytecode. CoRR (2014)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Information Flow Control in WebKit's JavaScript Bytecode. POST (2014)
Arun Kumar, Vineet Rajani, Dharanipragada Janakiram
Psi-CAL: Foundations of a Programming Language for Services Computing. IEEE SCC (2013)
Vineet Rajani, Hemang Mehta, S. J. Balaji, Dharanipragada Janakiram
KAAS: Kernel as a Service. SERVICES (2012)
Vineet Rajani, Arun Kumar, Dharanipragada Janakiram
Xi-Calculus: A Calculus for Service Interactions. IEEE SCC (2010)
D. Janakiram, Ashok Gunnam, N. Suneetha, Vineet Rajani, K. Vinay Kumar Reddy
Object-oriented wrappers for the Linux kernel. Softw. Pract. Exp. 38 (13) (2008)