Object-oriented wrappers for the Linux kernel. - D. Janakiram; Ashok Gunnam; N. Suneetha; Vineet Rajani; K. Vinay Kumar Reddy (Softw. Pract. Exp., 2008)

Xi-Calculus: A Calculus for Service Interactions. - Vineet Rajani; Arun Kumar 002; Dharanipragada Janakiram (IEEE SCC, 2010)

KAAS: Kernel as a Service. - Vineet Rajani; Hemang Mehta; S. J. Balaji; Dharanipragada Janakiram (SERVICES, 2012)

Psi-CAL: Foundations of a Programming Language for Services Computing. - Arun Kumar 002; Vineet Rajani; Dharanipragada Janakiram (IEEE SCC, 2013)

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. - Abhishek Bichhawat; Vineet Rajani; Deepak Garg 001; Christian Hammer 001 (PLAS@ECOOP, 2014)

Information Flow Control in WebKit's JavaScript Bytecode. - Abhishek Bichhawat; Vineet Rajani; Deepak Garg 001; Christian Hammer 001 (POST, 2014)

Information Flow Control for Event Handling and the DOM in Web Browsers. - Vineet Rajani; Abhishek Bichhawat; Deepak Garg 001; Christian Hammer 001 (CSF, 2015)

On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. - Vineet Rajani; Deepak Garg 001; Tamara Rezk (CSF, 2016)

WebPol: Fine-Grained Information Flow Policies for Web Browsers. - Abhishek Bichhawat; Vineet Rajani; Jinank Jain; Deepak Garg 001; Christian Hammer 001 (ESORICS (1), 2017)

Type systems for information flow control: the question of granularity. - Vineet Rajani; Iulia Bastys; Willard Rafnsson; Deepak Garg 001 (ACM SIGLOG News, 2017)

Types for Information Flow Control: Labeling Granularity and Semantic Models. - Vineet Rajani; Deepak Garg 001 (CSF, 2018)

On the expressiveness and semantics of information flow types. - Vineet Rajani; Deepak Garg 001 (J. Comput. Secur., 2020)

A type-theory for higher-order amortized analysis. - Vineet Rajani (2020)

Permissive runtime information flow control in the presence of exceptions. - Abhishek Bichhawat; Vineet Rajani; Deepak Garg 001; Christian Hammer 001 (J. Comput. Secur., 2021)

A unifying type-theory for higher-order (amortized) cost analysis. - Vineet Rajani; Marco Gaboardi; Deepak Garg 001; Jan Hoffmann 002 (Proc. ACM Program. Lang., 2021)

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. - Marco Vassena; Alejandro Russo; Deepak Garg 001; Vineet Rajani; Deian Stefan (CoRR, 2022)

Counterfactual Explanations and Model Multiplicity: a Relational Verification View. - Francesco Leofante; Elena Botoeva; Vineet Rajani (KR, 2023)

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. - Marco Vassena; Alejandro Russo; Deepak Garg 001; Vineet Rajani; Deian Stefan (Found. Trends Program. Lang., 2023)

The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024). - Lesly-Ann Daniel; Vineet Rajani (CCS, 2024)

A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs. - Vineet Rajani; Gilles Barthe; Deepak Garg 001 (Proc. ACM Program. Lang., 2024)

A Graded Modal Approach to Relaxed Semantic Declassification. - Vineet Rajani; Alex Coleman; Hrutvik Kanabar (CSF, 2025)