23 citations · 23 across the 1 of their papers we have counts for
2 papers
cs.CR2018
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…
cs.CR2015★ 23 cited
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…