( en | de | ru )

 

Disambiguation of "Rajani, Vineet"

Author of the publication

copydeleteadd this publication to your clipboard
On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks.

, , and . CSF, page 150-163. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rajani Chulyadyo

Vineet Sinha

Vineet Rao

Rajani Rajan

Meena Rajani

 

Other publications of authors with the same name

Object-oriented wrappers for the Linux kernel., , , , and . Softw. Pract. Exp., 38 (13): 1411-1427 (2008)From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow., , , , and . CoRR, (2022)A type-theory for higher-order amortized analysis.. Saarland University, Saarbrücken, Germany, (2020)Types for Information Flow Control: Labeling Granularity and Semantic Models., and . CSF, page 233-246. IEEE Computer Society, (2018)From Fine- to Coarse-Grained Dynamic Information Flow Control and Back., , , , and . Found. Trends Program. Lang., 8 (1): 1-117 (2023)From fine- to coarse-grained dynamic information flow control and back., , , , and . Proc. ACM Program. Lang., 3 (POPL): 76:1-76:31 (2019)Permissive runtime information flow control in the presence of exceptions., , , and . J. Comput. Secur., 29 (4): 361-401 (2021)On the expressiveness and semantics of information flow types., and . J. Comput. Secur., 28 (1): 129-156 (2020)On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks., , and . CSF, page 150-163. IEEE Computer Society, (2016)Psi-CAL: Foundations of a Programming Language for Services Computing., , and . IEEE SCC, page 721-728. IEEE Computer Society, (2013)