Vineet Rajani

According to our database1, Vineet Rajani authored at least 15 papers between 2008 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A unifying type-theory for higher-order (amortized) cost analysis.
Proc. ACM Program. Lang., 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

2019
From fine- to coarse-grained dynamic information flow control and back.
Proc. ACM Program. Lang., 2019

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...