13 citations · 32 across the 8 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.CR2015
On Dynamic Flow-Sensitive Floating-Label Systems
Pablo Buiras, Deian Stefan, Alejandro Russo
Flow-sensitive analysis for information-flow control (IFC) allows data structures to have mutable security labels, i.e., labels that can change over the course of the computation.…
cs.PL2015
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)
Stefan Heule, Deian Stefan, Edward Z. Yang +2
Many important security problems in JavaScript, such as browser extension security, untrusted JavaScript libraries and safe integration of mutually distrustful websites (mash-ups),…