Vineet Rajani

Orcid: 0000-0001-7701-8311

Affiliations:
  • University of Kent, Canterbury, UK
  • Max Planck Institute for Security and Privacy, Bochum, Germany (former)
  • Max Planck Institute for Software Systems, Saarbrücken, Germany (former)
  • Indian Institute of Technology Madras, Chennai, India (former)


According to our database1, Vineet Rajani authored at least 18 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back.
Found. Trends Program. Lang., 2023

Counterfactual Explanations and Model Multiplicity: a Relational Verification View.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow.
CoRR, 2022

2021
A unifying type-theory for higher-order (amortized) cost analysis.
Proc. ACM Program. Lang., 2021

Permissive runtime information flow control in the presence of exceptions.
J. Comput. Secur., 2021

2020
A type-theory for higher-order amortized analysis.
PhD thesis, 2020

On the expressiveness and semantics of information flow types.
J. Comput. Secur., 2020

2018
Types for Information Flow Control: Labeling Granularity and Semantic Models.
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017
Type systems for information flow control: the question of granularity.
ACM SIGLOG News, 2017

WebPol: Fine-Grained Information Flow Policies for Web Browsers.
Proceedings of the Computer Security - ESORICS 2017, 2017

2016
On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015
Information Flow Control for Event Handling and the DOM in Web Browsers.
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014
Information Flow Control in WebKit's JavaScript Bytecode.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis.
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2013
Psi-CAL: Foundations of a Programming Language for Services Computing.
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012
KAAS: Kernel as a Service.
Proceedings of the Eighth IEEE World Congress on Services, 2012

2010
Xi-Calculus: A Calculus for Service Interactions.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2008
Object-oriented wrappers for the Linux kernel.
Softw. Pract. Exp., 2008


  Loading...