Vineet Rajani

Vineet Rajani

PhD Student
MPI-SWS & Saarland University
Saarland Informatics Campus (SIC)



Home       Publications       Contact      


      DBLP

All published work may be under copyright of their respective publishers

Papers:
  • WebPol: Fine-grained Information Flow Policies for Web Browsers[here | Full version]
    with Abhishek Bichhawat, Jinank Jain, Deepak Garg and Christian Hammer
    In 22nd European Symposium on Research in Computer Security (ESORICS), 2017

  • Type Systems for Information Flow Control: The Question of Granularity[here | Technical report with proofs]
    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 proofs]
    with Deepak Garg and Tamara Rezk
    In 29th IEEE Computer Security Foundations (CSF), 2016

  • Information Flow Control for Event Handling and the DOM in Web Browsers [here | Full version with appendix | OCaml Model]
  • with Abhishek Bichhawat, Deepak Garg and Christian Hammer
    In 28th IEEE Computer Security Foundations (CSF), 2015
    (RS3 best paper award)

  • Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis [here | full version (updated version of the original paper)]
  • with Abhishek Bichhawat, Deepak Garg and Christian Hammer
    In 9th ACM Workshop on Programming Languages and Analysis for Security (PLAS), 2014

  • Information Flow Control in Webkit's JavaScript Bytecode [here | full version with proofs]
  • with Abhishek Bichhawat, Deepak Garg and Christian Hammer
    In 3rd 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 10th IEEE International Conference on Services Computing (SCC), 2013

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

  • Xi-Calculus: A Calculus for Service Interactions [here]
  • with Arun Kumar and Dharanipragada Janakiram
    In 7th 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
Patent:
  • Non-homogeneous disk abstraction for data oriented applications [here]
  • with Nagendra S. Tomar
    Pending US Patent (US13851828)
Poster:
  • Security in Web-Based Workflows [here]
  • with Thomas Bauereiss, Abhishek Bichhawat, Iulia Boloşteanu, Peter Faymonville, Bernd Finkbeiner, Deepak Garg, Richard Gay, Sergey Grebenshchikov, Christian Hammer, Dieter Hutter, Ondřej Kunčar, Peter Lammich, Heiko Mantel, Christian Müller, Andrei Popescu, Markus Rabe, Helmut Seidl, Markus Tasch and Leander Tentrup
    Poster in 36th IEEE Symposium on Security and Privacy (S&P), 2015