Vineet Rajani



Home

Publications
   - by date
   - by topic
   - dblp
   - Google Scholar

Grants

Teaching

Group

Contact
 All published work may be under copyright of their respective publishers

Verification for machine learning
  • A modal type theory of expected cost in higher-order probabilistic programs [preprint |here]
    With Gilles Barthe and Deepak Garg
    In Proceedings of the ACM on Programming Languages (OOPSLA), 2024

  • Counterfactual Explanations and Model Multiplicity: a Relational Verification View [here]
    With Francesco Leofante and Elena Botoeva
    In International Conference on Principles of Knowledge Representation and Reasoning (KR), 2023


Secure information flow
  • A graded modal approach to relaxed semantic declassification [here]
    With Alex Coleman and Hrutvik Kanabar
    In IEEE Computer Security Foundations Symposium (CSF), 2025

  • Towards relating hyper- and epistemic-temporal logics [here]
    With Matvey Soloviev and Musard Balliu
    Workshop on Programming Languages and Analysis for Security (PLAS), 2024

  • Information Flow above Optimising Compilers With Weak Memory [here]
    With Jay Richards and Mark Batty
    Workshop on Programming Languages and Analysis for Security (PLAS), 2024

  • From Fine- to Coarse-Grained Dynamic Information Flow Control and Back [here]
    With Marco Vassena, Alejandro Russo, Deepak Garg and Deian Stefan
    In Foundations and Trends in Programming Languages, 2023
    (Journal version of the POPL'19 paper)

  • Permissive Runtime Information Flow Control in the Presence of Exceptions [here]
    With Abhishek Bichhawat, Deepak Garg and Christian Hammer
    In Journal of Computer Security (JCS), 2021

  • On the expressiveness and semantics of information flow types [here | technical appendix]
    With Deepak Garg
    In Journal of Computer Security (JCS), 2020

  • From fine- to coarse-grained dynamic information flow control and back [here]
    With Marco Vassena, Alejandro Russo, Deepak Garg and Deian Stefan
    In Proceedings of the ACM on Programming Languages (POPL), 2019
    Distinguished paper

  • Types for information flow control: labeling granularity and semantic models [here | technical appendix]
    with Deepak Garg
    In IEEE Computer Security Foundations Symposium (CSF), 2018
    Distinguished paper

  • WebPol: Fine-grained information flow policies for web browsers [here | full version]
    with Abhishek Bichhawat, Jinank Jain, Deepak Garg and Christian Hammer
    In European Symposium on Research in Computer Security (ESORICS), 2017

  • Type systems for information flow control: The question of granularity [here | technical report]
    with Iulia Bastys, Willard Rafnsson and Deepak Garg
    Invited article in ACM SIGLOG News, 2017

  • Information flow control for event handling and the DOM in web browsers [here | full version | OCaml Model]
    with Abhishek Bichhawat, Deepak Garg and Christian Hammer
    In IEEE Computer Security Foundations Symposium (CSF), 2015
    RS3 best paper award

  • Generalizing permissive-upgrade in dynamic information flow analysis [here | full version (with minor revision)]
    with Abhishek Bichhawat, Deepak Garg and Christian Hammer
    In ACM Workshop on Programming Languages and Analysis for Security (PLAS), 2014

  • Information flow control in webkit's javascript bytecode [here | full version]
    with Abhishek Bichhawat, Deepak Garg and Christian Hammer
    In Conference on Principles of Security and Trust (POST), 2014

Resource analysis
  • A unifying type-theory for higher-order (amortized) cost analysis [here | technical appendix]
    With Marco Gaboardi, Deepak Garg and Jan Hoffmann
    In Proceedings of the ACM on Programming Languages (POPL), 2021

  • A type-theory for higher-order amortized analysis [here | technical report]
    PhD thesis, 2020
    Summa cum laude

Language-based authorization
  • On access control, capabilities, their equivalence and confused deputy attacks [here | technical appendix]
    with Deepak Garg and Tamara Rezk
    In IEEE Computer Security Foundations Symposium (CSF), 2016

Distributed programming
  • Psi-CAL: Foundations of a programming language for services computing [here]
    with Arun Kumar and Dharanipragada Janakiram
    In IEEE International Conference on Services Computing (SCC), 2013

  • KAAS: Kernel as a service [here]
    with Hemang Mehta, S. J. Balaji and Dharanipragada Janakiram
    In IEEE World Congress on Services (SERVICES), 2012

  • Xi-Calculus: A calculus for service interactions [here]
    with Arun Kumar and Dharanipragada Janakiram
    In IEEE International Conference on Services Computing (SCC), 2010
    Best paper nominee

Operating system and virtualization
  • Heterogeneous disk to apply service level agreement levels [here]
    with Nagendra S. Tomar
    US patent US10613786B2

  • Non-homogeneous disk abstraction for data oriented applications [here]
    with Nagendra S. Tomar
    US patent 9880773B2

  • Object-oriented wrappers for the linux kernel [here]
    with D. Janakiram, Ashok Gunnam, N. Suneetha and K. Vinay Kumar Reddy
    In Journal of Software: Practice and Experience (SPE), Vol. 38, 2008