By Dr Vineet Rajani

Conference Papers

Rajani V; Coleman A; Kanabar H, 2025, 'A Graded Modal Approach to Relaxed Semantic Declassification', Institute of Electrical and Electronics Engineers (IEEE), pp. 268 - 283, presented at 2025 IEEE 38th Computer Security Foundations Symposium (CSF), http://dx.doi.org/10.1109/csf64896.2025.00032

Daniel LA; Rajani V, 2024, 'The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024)', in Ccs 2024 Proceedings of the 2024 ACM Sigsac Conference on Computer and Communications Security, pp. 4896 - 4897, http://dx.doi.org/10.1145/3658644.3691336

Leofante F; Botoeva E; Rajani V, 2023, 'Counterfactual Explanations and Model Multiplicity: a Relational Verification View', International Joint Conferences on Artificial Intelligence, pp. 763 - 768, presented at Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, http://dx.doi.org/10.24963/kr.2023/78

Rajani V; Garg D, 2018, 'Types for Information Flow Control: Labeling Granularity and Semantic Models', Institute of Electrical and Electronics Engineers (IEEE), pp. 233 - 246, presented at 2018 IEEE 31st Computer Security Foundations Symposium (CSF), http://dx.doi.org/10.1109/csf.2018.00024

Rajani V; Garg D; Rezk T, 2016, 'On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks', in 2016 IEEE 29th Computer Security Foundations Symposium (CSF), Institute of Electrical and Electronics Engineers (IEEE), pp. 150 - 163, presented at 2016 IEEE 29th Computer Security Foundations Symposium (CSF), http://dx.doi.org/10.1109/csf.2016.18

Rajani V; Bichhawat A; Garg D; Hammer C, 2015, 'Information Flow Control for Event Handling and the DOM in Web Browsers', in 2015 IEEE 28th Computer Security Foundations Symposium, Institute of Electrical and Electronics Engineers (IEEE), pp. 366 - 379, presented at 2015 IEEE 28th Computer Security Foundations Symposium, http://dx.doi.org/10.1109/csf.2015.32

Bichhawat A; Rajani V; Garg D; Hammer C, 2014, 'Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis', Association for Computing Machinery (ACM), pp. 15 - 24, presented at Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, http://dx.doi.org/10.1145/2637113.2637116

Kumar A; Rajani V; Janakiram D, 2013, 'Psi-CAL: Foundations of a Programming Language for Services Computing', in 2013 IEEE International Conference on Services Computing, IEEE, pp. 721 - 728, presented at 2013 IEEE International Conference on Services Computing (SCC), 28 June 2013 - 03 July 2013, http://dx.doi.org/10.1109/scc.2013.50

Rajani V; Mehta H; Balaji SJ; Janakiram D, 2012, 'KAAS: Kernel as a Service', in 2012 IEEE Eighth World Congress on Services, IEEE, pp. 340 - 345, presented at 2012 IEEE World Congress on Services (SERVICES), 24 June 2012 - 29 June 2012, http://dx.doi.org/10.1109/services.2012.69

Rajani V; Kumar A; Janakiram D, 2010, 'Xi-Calculus: A Calculus for Service Interactions', in 2010 IEEE International Conference on Services Computing, IEEE, pp. 105 - 113, presented at 2010 IEEE International Conference on Services Computing (SCC), 05 July 2010 - 10 July 2010, http://dx.doi.org/10.1109/scc.2010.49

Back to profile page