Vineet Rajani

Vineet Rajani

Post-doc researcher
(firstname.lastname @ csp.mpg.de)
Max Planck Institute for Security and Privacy



Home

Publications
   - by date
   - by topic
   - dblp
   - Google Scholar
All published work may be under copyright of their respective publishers

Papers:
  • 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

  • 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

  • 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

  • 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

  • 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

  • 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
Thesis:
  • A type-theory for higher-order amortized analysis [here | technical report]
    PhD thesis, 2020
    Summa cum laude
Patent:
  • Non-homogeneous disk abstraction for data oriented applications [here]
    with Nagendra S. Tomar
    US patent 9880773B2