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 database¹, Vineet Rajani authored at least 20 papers between 2008 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs.

[BibT_eX]

[DOI]

Vineet Rajani

Gilles Barthe

Deepak Garg

Proc. ACM Program. Lang., 2024

The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024).

[BibT_eX]

[DOI]

Lesly-Ann Daniel

Vineet Rajani

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back.

[BibT_eX]

[DOI]

Found. Trends Program. Lang., 2023

Counterfactual Explanations and Model Multiplicity: a Relational Verification View.

[BibT_eX]

[DOI]

Francesco Leofante

Elena Botoeva

Vineet Rajani

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.

[BibT_eX]

[DOI]

CoRR, 2022

2021

A unifying type-theory for higher-order (amortized) cost analysis.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Permissive runtime information flow control in the presence of exceptions.

[BibT_eX]

[DOI]

J. Comput. Secur., 2021

2020

A type-theory for higher-order amortized analysis.

[BibT_eX]

[DOI]

Vineet Rajani

PhD thesis, 2020

On the expressiveness and semantics of information flow types.

[BibT_eX]

[DOI]

Vineet Rajani

Deepak Garg

J. Comput. Secur., 2020

2018

Types for Information Flow Control: Labeling Granularity and Semantic Models.

[BibT_eX]

[DOI]

Vineet Rajani

Deepak Garg

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

Type systems for information flow control: the question of granularity.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2017

WebPol: Fine-Grained Information Flow Policies for Web Browsers.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2017, 2017

2016

On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks.

[BibT_eX]

[DOI]

Vineet Rajani

Deepak Garg

Tamara Rezk

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Information Flow Control for Event Handling and the DOM in Web Browsers.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Information Flow Control in WebKit's JavaScript Bytecode.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2013

Psi-CAL: Foundations of a Programming Language for Services Computing.

[BibT_eX]

[DOI]

Arun Kumar

Vineet Rajani

Dharanipragada Janakiram

Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012

KAAS: Kernel as a Service.

[BibT_eX]

[DOI]

Vineet Rajani

Hemang Mehta

S. J. Balaji

Dharanipragada Janakiram

Proceedings of the Eighth IEEE World Congress on Services, 2012

2010

Xi-Calculus: A Calculus for Service Interactions.

[BibT_eX]

[DOI]

Vineet Rajani

Arun Kumar

Dharanipragada Janakiram

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2008

Object-oriented wrappers for the Linux kernel.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2008

Vineet Rajani

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...