27 citations · 64 across the 6 of their papers we have counts for
6 papers
Categorical Models of Amortized Cost: An Adjoint Relationship between Cost and Potential
David Binder, David Corfield, Dominic Orchard +1
Various type systems have been developed to track the cost of a computation using a cost-tracking monad . On its own, this only tracks the worst-case cost of a computati…
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow
Marco Vassena, Alejandro Russo, Deepak Garg +2
This tutorial provides a complete and homogeneous account of the latest advances in fine- and coarse-grained dynamic information-flow control (IFC) security. Since the 70s, the pro…
Types for Information Flow Control: Labeling Granularity and Semantic Models
Vineet Rajani, Deepak Garg
Language-based information flow control (IFC) tracks dependencies within a program using sensitivity labels and prohibits public outputs from depending on secret inputs. In particu…
WebPol: Fine-grained Information Flow Policies for Web Browsers
Abhishek Bichhawat, Vineet Rajani, Jinank Jain +2
In the standard web browser programming model, third-party scripts included in an application execute with the same privilege as the application's own code. This leaves the applica…
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
Abhishek Bichhawat, Vineet Rajani, Deepak Garg +1
Preventing implicit information flows by dynamic program analysis requires coarse approximations that result in false positives, because a dynamic monitor sees only the executed tr…
Information Flow Control in WebKit's JavaScript Bytecode
Abhishek Bichhawat, Vineet Rajani, Deepak Garg +1
Websites today routinely combine JavaScript from multiple sources, both trusted and untrusted. Hence, JavaScript security is of paramount importance. A specific interesting problem…