Vineet Rajani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2012–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024). | Lesly-Ann Daniel, Vineet Rajani |
| 2023 | KR | Counterfactual Explanations and Model Multiplicity: a Relational Verification View. | Francesco Leofante, Elena Botoeva, Vineet Rajani |
| 2017 | ESORICS | WebPol: Fine-Grained Information Flow Policies for Web Browsers. | Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer |
| 2014 | ECOOP | Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. | Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer |
| 2012 | SERVICES | KAAS: Kernel as a Service. | Vineet Rajani, Hemang Mehta, S. J. Balaji, Dharanipragada Janakiram |