Author of the publication

Information Flow Control for Event Handling and the DOM in Web Browsers.

, , , and . CSF, page 366-379. IEEE Computer Society, (2015)

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.

No persons found for author name Rajani, Vineet
add a person with the name Rajani, Vineet
 

Other publications of authors with the same name

Object-oriented wrappers for the Linux kernel., , , , and . Softw., Pract. Exper., 38 (13): 1411-1427 (2008)Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis., , , and . PLAS@ECOOP, page 15. ACM, (2014)Information Flow Control for Event Handling and the DOM in Web Browsers., , , and . CSF, page 366-379. IEEE Computer Society, (2015)Types for Information Flow Control: Labeling Granularity and Semantic Models., and . CSF, page 233-246. IEEE Computer Society, (2018)KAAS: Kernel as a Service., , , and . SERVICES, page 340-345. IEEE Computer Society, (2012)Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis., , , and . CoRR, (2015)Information Flow Control in WebKit's JavaScript Bytecode., , , and . POST, volume 8414 of Lecture Notes in Computer Science, page 159-178. Springer, (2014)Xi-Calculus: A Calculus for Service Interactions., , and . IEEE SCC, page 105-113. IEEE Computer Society, (2010)A unifying type-theory for higher-order (amortized) cost analysis., , , and . Proc. ACM Program. Lang., 5 (POPL): 1-28 (2021)Type systems for information flow control: the question of granularity., , , and . SIGLOG News, 4 (1): 6-21 (2017)