Concepedia

Vineet Rajani

VR

Statistics

Publications

7

Citations

133

H-Index

7

Active since

2014

Affiliations

Max Planck Institute for Software Systems(Current)

Saarland University

Vineet Rajani is an author at Max Planck Institute for Software Systems specializing in computing, computer science, and programming languages.

Publications per year

2014–2021

7

Publications

7

Types for Information Flow Control: Labeling Granularity and Semantic Models

Vineet Rajani, Deepak Garg · 2018 · 26 citations · Full text

Computing, Computer Science, Compilers +16

A unifying type-theory for higher-order (amortized) cost analysis

Vineet Rajani, Deepak Garg, Jan Hoffmann · Proceedings of the ACM on Programming Languages · 2021 · 26 citations · Full text

Computing, Computer Science, Formal Methods +13

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis

Abhishek Bichhawat, Vineet Rajani, Deepak Garg et al. · 2014 · 23 citations · Full text

Computing, Computer Engineering, Computer Science +11

Information Flow Control for Event Handling and the DOM in Web Browsers

Vineet Rajani, Abhishek Bichhawat, Deepak Garg et al. · 2015 · 21 citations

Computing, Computer Science, Cybersecurity +15

From fine- to coarse-grained dynamic information flow control and back

Marco Vassena, Alejandro Russo, Deepak Garg et al. · Proceedings of the ACM on Programming Languages · 2019 · 15 citations · Full text

Computing, Computer Engineering, Computer Science +10

1–5 of 7