Vineet Rajani
Vineet Rajani
Max Planck Institute for Security and Privacy (MPI-SP)
Verified email at csp.mpg.de - Homepage
Title
Cited by
Cited by
Year
Information flow control in WebKit’s JavaScript bytecode
A Bichhawat, V Rajani, D Garg, C Hammer
International Conference on Principles of Security and Trust, 159-178, 2014
992014
Generalizing permissive-upgrade in dynamic information flow analysis
A Bichhawat, V Rajani, D Garg, C Hammer
Proceedings of the Ninth Workshop on Programming Languages and Analysis for …, 2014
332014
Non-homogeneous disk abstraction for data oriented applications
V Rajani, NS Tomar
US Patent 9,880,773, 2018
302018
Information flow control for event handling and the DOM in web browsers
V Rajani, A Bichhawat, D Garg, C Hammer
2015 IEEE 28th Computer Security Foundations Symposium, 366-379, 2015
262015
Types for information flow control: Labeling granularity and semantic models
V Rajani, D Garg
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 233-246, 2018
192018
From fine-to coarse-grained dynamic information flow control and back
M Vassena, A Russo, D Garg, V Rajani, D Stefan
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
152019
Object‐oriented wrappers for the Linux kernel
D Janakiram, A Gunnam, N Suneetha, V Rajani, KVK Reddy
Software: Practice and Experience 38 (13), 1411-1427, 2008
102008
On access control, capabilities, their equivalence, and confused deputy attacks
V Rajani, D Garg, T Rezk
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 150-163, 2016
82016
Webpol: Fine-grained information flow policies for web browsers
A Bichhawat, V Rajani, J Jain, D Garg, C Hammer
European Symposium on Research in Computer Security, 242-259, 2017
72017
Type systems for information flow control: The question of granularity
V Rajani, I Bastys, W Rafnsson, D Garg
ACM SIGLOG News 4 (1), 6-21, 2017
72017
Xi-Calculus: A Calculus for Service Interactions
V Rajani, A Kumar, D Janakiram
2010 IEEE International Conference on Services Computing, 105-113, 2010
62010
A unifying type-theory for higher-order (amortized) cost analysis
V Rajani, M Gaboardi, D Garg, J Hoffmann
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
52021
On the expressiveness and semantics of information flow types
V Rajani, D Garg
Journal of Computer Security 28 (1), 129-156, 2020
42020
A type-theory for higher-order amortized analysis
V Rajani
Saarländische Universitäts-und Landesbibliothek, 2020
22020
Permissive runtime information flow control in the presence of exceptions
A Bichhawat, V Rajani, D Garg, C Hammer
Journal of Computer Security, 1-41, 2021
2021
Heterogeneous disk to apply service level agreement levels
V Rajani, NS Tomar
US Patent 10,613,786, 2020
2020
Psi-CAL: Foundations of a programming language for services computing
A Kumar, V Rajani, D Janakiram
2013 IEEE International Conference on Services Computing, 721-728, 2013
2013
KAAS: Kernel as a Service
V Rajani, H Mehta, SJ Balaji, D Janakiram
2012 IEEE Eighth World Congress on Services, 340-345, 2012
2012
Poster: Security in Web-Based Workflows
T Bauereiß, A Bichhawat, I Bolosteanu, P Faymonville, B Finkbeiner, ...
The system can't perform the operation now. Try again later.
Articles 1–19