Items where Author, Editor or other role is "Rajani, Vineet"

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 16.

Rajani, Vineet, Gaboardi, Marco, Garg, Deepak, Hoffmann, Jan (2021) A unifying type-theory for higher-order (amortized) cost analysis. Proceedings of the ACM on Programming Languages, 5 (POPL). pp. 1-28. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3434308) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90653)

Bichhawat, Abhishek, Rajani, Vineet, Garg, Deepak, Hammer, Christian (2021) Permissive runtime information flow control in the presence of exceptions. Journal of Computer Security, 29 (4). pp. 361-401. ISSN 0926-227X. E-ISSN 1875-8924. (doi:10.3233/JCS-211385) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90655)

Rajani, Vineet (2020) A type-theory for higher-order amortized analysis. Doctor of Engineering (EngDoc) thesis, Saarland University, Saarbr\"cken, Germany. (doi:10.22028/D291-30877) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90652)

Rajani, Vineet, Garg, Deepak (2020) On the expressiveness and semantics of information flow types. Journal of Computer Security, 28 (1). pp. 129-156. ISSN 1875-8924. E-ISSN 1875-8924. (doi:10.3233/JCS-191382) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90647)

Vassena, Marco, Russo, Alejandro, Garg, Deepak, Rajani, Vineet, Stefan, Deian (2019) From fine- to coarse-grained dynamic information flow control and back. Proceedings of the ACM on Programming Languages, 3 (POPL). pp. 1-31. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3290389) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90644)

Rajani, Vineet, Garg, Deepak (2018) Types for Information Flow Control: Labeling Granularity and Semantic Models. In: 2018 IEEE 31st Computer Security Foundations Symposium (CSF). . IEEE ISBN 978-1-5386-6681-4. E-ISBN 978-1-5386-6680-7. (doi:10.1109/csf.2018.00024) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90641)

Bichhawat, Abhishek, Rajani, Vineet, Jain, Jinank, Garg, Deepak, Hammer, Christian (2017) WebPol: Fine-Grained Information Flow Policies for Web Browsers. In: Computer security - ESORICS 2017. Lecture Notes in Computer Science , 10492. pp. 242-259. Springer ISBN 978-3-319-66401-9. E-ISBN 978-3-319-66402-6. (doi:10.1007/978-3-319-66402-6_15) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90607)

Rajani, Vineet, Bastys, Iulia, Rafnsson, Willard, Garg, Deepak (2017) Type systems for information flow control: the question of granularity. ACM SIGLOG News, 4 (1). pp. 6-21. ISSN 2372-3491. E-ISSN 2372-3491. (doi:10.1145/3051528.3051531) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90638)

Rajani, Vineet, Garg, Deepak, Rezk, Tamara (2016) On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. In: 2016 IEEE 29th Computer Security Foundations Symposium (CSF). 2016 IEEE 29th Computer Security Foundations Symposium (CSF). . pp. 150-163. IEEE ISBN 978-1-5090-2608-1. E-ISBN 978-1-5090-2607-4. (doi:10.1109/CSF.2016.18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90601)

Rajani, Vineet, Bichhawat, Abhishek, Garg, Deepak, Hammer, Christian (2015) Information Flow Control for Event Handling and the DOM in Web Browsers. In: 2015 IEEE 28th Computer Security Foundations Symposium. . pp. 366-379. IEEE ISBN 978-1-4673-7537-5. E-ISBN 978-1-4673-7538-2. (doi:10.1109/CSF.2015.32) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90595)

Bichhawat, Abhishek, Rajani, Vineet, Garg, Deepak, Hammer, Christian (2014) Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. In: PLAS'14: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security. PLAS'14: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security. . pp. 15-24. Association for Computing Machinery New York NY United States ISBN 978-1-4503-2862-3. (doi:10.1145/2637113.2637116) (KAR id:90566)

Bichhawat, Abhishek, Rajani, Vineet, Garg, Deepak, Hammer, Christian (2014) Information Flow Control in WebKit’s JavaScript Bytecode. In: Principles of Security and Trust. POST 2014. Lecture Notes in Computer Science. Lecture Notes in Computer Science , 8414. pp. 159-178. Springer ISBN 978-3-642-54791-1. E-ISBN 978-3-642-54792-8. (doi:10.1007/978-3-642-54792-8_9) (KAR id:90558)

Kumar, Arun, Rajani, Vineet, Janakiram, Dharanipragada (2013) Psi-CAL: Foundations of a Programming Language for Services Computing. In: 2013 IEEE International Conference on Services Computing. 2013 IEEE International Conference on Services Computing. . pp. 721-728. IEEE E-ISBN 978-0-7695-5026-8. (doi:10.1109/SCC.2013.50) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90553)

Rajani, Vineet, Mehta, Hemang, Balaji, S.J., Janakiram, Dharanipragada (2012) KAAS: Kernel as a Service. In: 2012 IEEE Eighth World Congress on Services. 2012 IEEE Eighth World Congress on Services. . pp. 340-345. IEEE ISBN 978-1-4673-3053-4. E-ISBN 978-0-7695-4756-5. (doi:10.1109/SERVICES.2012.69) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90551)

Rajani, Vineet, Kumar, Arun, Janakiram, Dharanipragada (2010) Xi-Calculus: A Calculus for Service Interactions. In: 2010 IEEE International Conference on Services Computing. 2010 IEEE International Conference on Services Computing. . pp. 105-113. IEEE Computer Society ISBN 978-1-4244-8147-7. (doi:10.1109/SCC.2010.49) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90522)

Janakiram, D., Gunnam, Ashok, Suneetha, N., Rajani, Vineet, Reddy, K. Vinay Kumar (2008) Object-oriented wrappers for the Linux kernel. Journal of Software: Practice and Experience., 38 (13). pp. 1411-1427. E-ISSN 1097-024X. (doi:10.1002/spe.879) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90521)

This list was generated on Fri Nov 22 19:41:50 2024 GMT.