Vineet Rajani
Orcid: 0000-0001-7701-8311Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Found. Trends Program. Lang., 2023
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
Proc. ACM Program. Lang., 2021
J. Comput. Secur., 2021
2020
J. Comput. Secur., 2020
2018
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018
2017
ACM SIGLOG News, 2017
Proceedings of the Computer Security - ESORICS 2017, 2017
2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
2015
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015
2014
Proceedings of the Principles of Security and Trust - Third International Conference, 2014
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014
2013
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013
2012
Proceedings of the Eighth IEEE World Congress on Services, 2012
2010
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010
2008