Vineet Rajani

27 papers A* 2A 4B 1Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
On Graded Coeffect Types for Information-Flow Control.
Languages, Compilers, Analysis
Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, Vineet Rajani, Michael Vollmer
2025 A conf
A Graded Modal Approach to Relaxed Semantic Declassification.
CSF
Vineet Rajani, Alex Coleman, Hrutvik Kanabar
2024 J jnl
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs.
Proc. ACM Program. Lang.
Vineet Rajani, Gilles Barthe, Deepak Garg
2024 A* conf
The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024).
CCS
Lesly-Ann Daniel, Vineet Rajani
2023 A* conf
Counterfactual Explanations and Model Multiplicity: a Relational Verification View.
KR
Francesco Leofante, Elena Botoeva, Vineet Rajani
2023 J jnl
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back.
Found. Trends Program. Lang.
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2022 J jnl
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow.
CoRR
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2021 J jnl
A unifying type-theory for higher-order (amortized) cost analysis.
Proc. ACM Program. Lang.
Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann
2021 J jnl
Permissive runtime information flow control in the presence of exceptions.
J. Comput. Secur.
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2020 — —
A type-theory for higher-order amortized analysis.
Vineet Rajani
2020 J jnl
On the expressiveness and semantics of information flow types.
J. Comput. Secur.
Vineet Rajani, Deepak Garg
2019 J jnl
From fine- to coarse-grained dynamic information flow control and back.
Proc. ACM Program. Lang.
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2018 A conf
Types for Information Flow Control: Labeling Granularity and Semantic Models.
CSF
Vineet Rajani, Deepak Garg
2018 J jnl
Types for Information Flow Control: Labeling Granularity and Semantic Models.
CoRR
Vineet Rajani, Deepak Garg
2017 J jnl
Type systems for information flow control: the question of granularity.
ACM SIGLOG News
Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg
2017 — conf
WebPol: Fine-Grained Information Flow Policies for Web Browsers.
ESORICS (1)
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
2017 J jnl
WebPol: Fine-grained Information Flow Policies for Web Browsers.
CoRR
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
2016 A conf
On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks.
CSF
Vineet Rajani, Deepak Garg, Tamara Rezk
2015 J jnl
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis.
CoRR
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2015 A conf
Information Flow Control for Event Handling and the DOM in Web Browsers.
CSF
Vineet Rajani, Abhishek Bichhawat, Deepak Garg, Christian Hammer
2014 — conf
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis.
PLAS@ECOOP
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2014 — conf
Information Flow Control in WebKit's JavaScript Bytecode.
POST
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2014 J jnl
Information Flow Control in WebKit's JavaScript Bytecode.
CoRR
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2013 — conf
Psi-CAL: Foundations of a Programming Language for Services Computing.
IEEE SCC
Arun Kumar, Vineet Rajani, Dharanipragada Janakiram
2012 B conf
KAAS: Kernel as a Service.
SERVICES
Vineet Rajani, Hemang Mehta, S. J. Balaji, Dharanipragada Janakiram
2010 — conf
Xi-Calculus: A Calculus for Service Interactions.
IEEE SCC
Vineet Rajani, Arun Kumar, Dharanipragada Janakiram
2008 J jnl
Object-oriented wrappers for the Linux kernel.
Softw. Pract. Exp.
D. Janakiram, Ashok Gunnam, N. Suneetha, Vineet Rajani, K. Vinay Kumar Reddy