13 citations · 32 across the 8 of their papers we have counts for
1 paper · 2 filters
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.…